MathJaxで可換図

圏論で可換図を描く時に,Latexで描いて画像を切り取ってhtmlにするのは面倒なので,MathJaxを最新版（2.5.3）にしました.\[ \sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} \tag{3}\]ガウスの発散定理は，\begin{align}\int_V \nabla\cdot AdV=\int_S A\cdot n dS \tag{1}\label{eq:gauss}\end{align}です．上式は，微分の体積分はものの関数の面積分になる，と言っています．$$\begin{CD}F(A) @>{F(f)}>> F(B)\\@V{\mu_A}VV @V{\mu_B}VV \\　F(A) @>{G(f)}>> G(B) \end{CD}$$

\[\begin{xy}\xymatrix {U \ar@/_/[ddr]_y \ar@{.>}[dr]|{\langle x,y \rangle} \ar@/^/[drr]^x \\ & X \times_Z Y \ar[d]^q \ar[r]_p & X \ar[d]_f \\ & Y \ar[r]^g & Z}\end{xy}\]

\[\begin{xy}\xymatrix @C=4pc {&*++[o][F-]{x} \ar@(lu,ld) []_{id} \ar@/^/^f [r]& f(x) \ar@/^/^{f^{-1}} [l]}\end{xy}\]

\[\begin{xy}\xymatrix{&*++[o][F-]{x}\ar@(lu,ld) []_{id} \ar@(ur,ul)_1 \ar[r]^{a} & *++[o][F-]{x} \ar@(ur,ul)_1}\end{xy}\]

矢印の方向には r（右），rd（右下），d（下），ld（左下），l（左），lu（左上）， u（上），ru（右上）があります．

\[\begin{xy}\xymatrix{&*++[o][F-]{x}\ar@(lu,ld) []_{id} \ar@(ur,ul)_1 \ar[r]^{a} & *++[o][F-]{x} \ar@(ur,ul)_1 \ar[r]^{a} &*++[o][F-]{x}\ar@(lu,ld)}\end{xy}\]

\[\begin{xy}\xymatrix{&*++[o][F-]{x}\ar@(lu,ld) []_{id} \ar@(ur,ul)_1 \ar[r]^{a} & *++[o][F-]{y}\ar@(lu,ru) []^{id} \ar@(ur,ul)_1 \ar[r]^{a} &*++[o][F-]{x}\ar@(lu,ld)}\end{xy}\]

\[\begin{xy}\xymatrix{&&*++[o][F-]{x}\ar@(lu,ld) []_{id} \ar[d]^{a}\\&*++[o][F-]{x}\ar@(lu,ld) []_{id} \ar@(ur,ul)_1 \ar[r]^{a} & *++[o][F-]{y}\ar@(ld,rd) []_{id} \ar@(ur,ul)_1 \ar[r]^{a} &*++[o][F-]{x}\ar@(lu,ld)}\end{xy}\]

以下は SyntaxHighlighter のテストです．

Mathematics is the language with which God has written the universe.