# math.SE-compatible LaTeX for diagrams with non-horizontal “decorated” arrows?

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.

-
We don't use MathJax on TeX.SX. This is a deliberate decision - we are interested in LaTeX code, so if people need to show output they upload images. – Joseph Wright Sep 11 '11 at 15:27
Yes, I figured that this would be the reason for not having LaTeX rendered by default, but I still hoped there may be a way to turn on rendering, since this would be more convenient than uploading images... No biggie. Thanks for the info, and the edits. – kjo Sep 11 '11 at 15:33