MathJaX xypic

矢印

ar(<style>|<curve>)<dirs>?<label>

• dirs: \[[rlud]*\]
• label: <pos>-?.*
  • pos: ^_|, | は線上
  • - をつけるとラベル位置を自動で調整
• style: 矢印のスタイル @{<type>}
  • type: =, .>, ->>, |->, -^> (上だけ羽), -_>, >->
• curve: 矢印を曲げる @/[^_]<amount>?/

\xymatrix{
A \ar[r]^-f \ar[rrd] & B & \ar@{.>}[d]|-k \\
C \ar@{~}[u] & A \ar@/^/[l] \ar[lu] & D
}

\xymatrix{ A \ar[r]^-f \ar[rrd] & B & \ar@{.>}[d]|-k \\ C \ar@{~}[u] & A \ar@/^/[l] \ar[lu] & D }

ex.要素の対応

\xymatrix@C=36pt@R=2.8pt{ A \ar[r]^f & B \\ x \ar@{(-}[u] \ar@{|->}[r] & y \ar@{(-}[u] }

\xymatrix@C=36pt@R=2.8pt{
A \ar[r]^f & B \\
x \ar@{(-}[u] \ar@{|->}[r] & y \ar@{(-}[u]
}

ex.可換図式

\xymatrix{ A \ar[d]_{\varphi} \ar[r]^f \ar@{}[dr]|\circlearrowleft & B \ar[d]^{\psi} \\ X \ar[r]^g & Y \\ }

\xymatrix{
A \ar[d]_{\varphi} \ar[r]^f \ar@{}[dr]|\circlearrowleft & B \ar[d]^{\psi} \\
X \ar[r]^g & Y \\
}

装飾

\*<attr>*{<target>}

• attr:
  • +: bigger
  • -: smaller
  • [o]: circle
  • [F<type>]: 囲む
    • type: -, =, .

ex. 遷移図

\xymatrix { & \ar[r] & *++[o][F-]{q_0} \ar@(ur,ul)_1 \ar[r]^0 & *++[o][F-]{q_2} \ar@(ur,ul)_1 \ar[r]^1 & *++[o][F=]{q_1} \ar@(dr,ur)_{0,1} }

\xymatrix {
& \ar[r] &
*++[o][F-]{q_0} \ar@(ur,ul)_1 \ar[r]^0 &
*++[o][F-]{q_2} \ar@(ur,ul)_1 \ar[r]^1 &
*++[o][F=]{q_1} \ar@(dr,ur)_{0,1}
}

グラフ

$$\text{xygraph}{A}_0(:[ru]A_1,:[rd]A_2)$$

参考文献

• TeXの話