# How to draw diagrams of category theory? [duplicate]

Possible Duplicate:
How to draw a commutative diagram?

Some times when we want to describe diagrams in category theory such as $$\xymatrix{ U \ar@/_/[ddr]_y \ar@/^/[drr]^x \ar@{.>}[dr]|-{(x,y)} \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z }$$, we are used to use xypic package. However, it is not available now. So is there another way to draw diagrams?

• This has already been asked and answered on this meta.math.SE post. Jun 11 '12 at 16:29
• Not a very nice solution, but you could also make the commutative diagram on you computer, convert it with dvipng or something similar and upload the image. Jun 11 '12 at 16:35
• OK, I see. Thank you two. But I still recommend to add a package since in comment it does not allow us to add a image, and the limit of characters probably restrict us to draw a huge diagram. Jun 11 '12 at 16:56
• @Popopo: I don't think "adding the package" is something that can be done at the math.SE, or even the StackExchange level: that would be something to bring up with the MathJax folks, if I'm not mistaken. Jun 12 '12 at 3:21