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?

  • $\begingroup$ This has already been asked and answered on this meta.math.SE post. $\endgroup$ Jun 11, 2012 at 16:29
  • 1
    $\begingroup$ 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. $\endgroup$ Jun 11, 2012 at 16:35
  • $\begingroup$ 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. $\endgroup$
    – Popopo
    Jun 11, 2012 at 16:56
  • 2
    $\begingroup$ @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. $\endgroup$ Jun 12, 2012 at 3:21


Browse other questions tagged .