I'm looking for LaTeX directives that I can use in posts to math.SE to make category-theory-style diagrams that use non-horizontal (vertical, slanted, curved) arrows, both "plain" (i.e. the non-horizontal analogues of $\rightarrow$ and $\leftarrow$) and "decorated" (i.e. the non-horizontal analogues of, e.g., $\hookrightarrow$, $\twoheadrightarrow$, $\rightarrowtail$, dashed arrows, etc.). Therefore, I need not only the codes for the various types of arrows, but also the details of the LaTeX environment for specifying the whole diagram.
P.S. By way of illustration of what I'm looking for, below is an example of the best I know how to do (mostly cribbed from a post by another math.SE contributor):
\begin{matrix}
& & A_i & & \newline
& {\scriptstyle v_i} \swarrow & \downarrow {\scriptstyle t_i} & \searrow {\scriptstyle s_i} & \newline
K & \xrightarrow{k} & \cup A_i & \xrightarrow{u} & A & \rightrightarrows & B
\end{matrix}
This diagram falls short in several respects. Most seriously, the names of the two morphisms associated with the paired arrow are missing. In addition, all the other arrows should be hooked ($\hookrightarrow$, to indicate that they are inclusions). Furthermore, the arrow labeled $v_i$ should be not only hooked, but also dashed, to indicate that it is unique. Lastly, all the arrows should be longer, and the angles of the slanted ones wrt the horizontal should be shallower, so that the lines going through them pass through the symbols for the domain and codomain objects, as they are supposed to.
Editors: this post would be easier to read if the LaTeX in it were rendered, instead of appearing as source code. I was not able to find how to turn on LaTeX rendering, but if this is possible to do, please go ahead. I'll do better next time.
