xy-pictテスト

感謝↓
http://www.math.u-ryukyu.ac.jp/~tsukuda/computer/tex/files/xypic-example.pdf \(\begin{xy} \xymatrix{ A & B & C \\ D & E & \\ & F & G } \end{xy}\) \(\begin{xy} \xymatrix{ A \ar[r] \ar[rrd] & B & \ar[d] \\ C \ar[u] & A \ar[l] \ar[lu] & D } \end{xy}\) \(\begin{xy} \xymatrix{ A \ar[r]^f & B \ar[d]^f & A \ar[r]_{g_1} & B \ar[d]_{g_1} & A \ar[r]|h & B \ar[d]|h \\ D \ar[u]^f & C \ar[l]^f & D \ar[u]_{g_1} & C \ar[l]_{g_1} & D \ar[u]|h & C \ar[l]|h } \end{xy}\) \(\begin{xy} \xymatrix{ A \ar[r]^f & BCDEFGH } \end{xy}\) \(\begin{xy} \xymatrix{ A \ar[r]^-f & BCDEFGH } \end{xy}\) \(\begin{xy} \xymatrix{ A \ar[r]^(.2)f_(.25)g & BCDEFGH } \end{xy}\)

2.2 いろいろな矢印

\[\begin{xy} \xymatrix{ A \ar@{=}[r] & A \ar@{.>}[r] & B \ar@{->>}[r] & C \\ D \ar@{|-^{>}}[r] & E \ar@{^{(}-_{>}}[r] & F \ar@{>->}[r] & G } \end{xy}\] 上図はオリジナルのままだとエラーとなったので、一部修正した。

\xymatrix{
A \ar@{=}[r]
& A \ar@{.>}[r]
& B \ar@{->>}[r] & C \\
D \ar@{|-^>}[r]
& E \ar@{^{(}-_>}[r]
& F \ar@{>->}[r] & G
}

\xymatrix{
A \ar@{=}[r]
& A \ar@{.>}[r]
& B \ar@{->>}[r] & C \\
D \ar@{|-^{>}}[r]
& E \ar@{^{(}-_{>}}[r]
& F \ar@{>->}[r] & G
}

2.3 スライドする

\[\begin{xy} \xymatrix{ A \ar[r]^-f & B \ar@<-0.5ex>[r]_-f & C \ar@<1ex>[r]^-f & D \ar@<0.5ex>[d]^-f \\ E \ar@<-0.3ex>@{^{(}->}[r]^-f & F \ar@{_{(}->}@<0.3ex>[r]^-f & G \ar@<0.5ex>[r]^-f \ar@<-0.5ex>[r]_-g & H \ar@<0.5ex>[u]^-g } \end{xy}\]

2.4 穴を空ける

\[\begin{xy} \xymatrix{ A \ar[r] \ar[d] \ar[rrd] & B \ar[rrd]|f \ar[d]|\hole \ar[rdd]|(.33)\hole & & \\ C \ar[r] \ar[rrd] & D \ar[rrd]|(.33)\hole|\hole & A’ \ar[r] \ar[d] & B’ \ar[d] \\ & & C’ \ar[r] & D’ } \end{xy}\]

2.5 曲げる

\[\begin{xy} \xymatrix{ A \ar@/^18pt/[r]^f \ar@/_/[r]_g \ar@/_3pt/[d] \ar@/_12pt/[d] \ar@/_24pt/[d] \ar@/_48pt/[d] & B \ar@/^/[d] \ar@/^54pt/[rd] & C \ar[l] \ar[d] \\ D \ar@/_10pt/@{.>}[rr]_{\exists h} & E \ar[r] \ar[l] & F } \end{xy}\]

2.6 曲げる (2)

\[\begin{xy} \fbox{ \xymatrix@=5pt{ \bullet \ar@{-} ‘d[dr] ’[rrrd] ‘[rrrr] [rrrr] & & \bullet \ar@{-} ’[d] [dd] \ar@{-}[rrdd] & & \bullet \\ & & & & \\ \bullet \ar@{-} ‘r[ruu] ’[ru] ‘[rruu] [rruu] & & \bullet & & \bullet } } \end{xy}\]

3 サイズ等

3.1 行間列間のサイズを変える

\(\begin{xy} \xymatrix@C=36pt@R=6pt{ A \ar[r] \ar[d] & B \ar[r] & C \ar[ld] \\ D \ar[r] & E & \\ } \end{xy}\) \(\begin{xy} \xymatrix@=10pt{ A \ar[r] \ar[d] & B \ar[r] & C \ar[ld] \\ D \ar[r] & E & \\ } \end{xy}\)

3.2 強制的に行間列間をそろえる

\(\begin{xy} \xymatrix{ & A \ar[ld] \ar[d] \ar[rd] & \\ B & C & DDDDDDDD } \end{xy}\) \(\begin{xy} \xymatrix@!C{ & A \ar[ld] \ar[d] \ar[rd] & \\ B & C & DDDDDDDD } \end{xy}\) \(\begin{xy} \xymatrix@!C=24pt{ & A \ar[ld] \ar[d] \ar[rd] & \\ B & C & DDDDDDDD } \end{xy}\)

3.5 回転

\(\begin{xy} \xymatrix@ur{ A \ar[r]^f \ar[d] & B \ar[d] \\ C \ar[r] & D & } \end{xy}\)

4 Tips

4.1 数式番号

\[ \begin{equation} \xymatrix{ A \ar[r] \ar[d] & B \ar[d] \\ C \ar[r] & D \ar@{}[lu]|{\circlearrowright} } \end{equation} \] \[ \begin{equation} \vcenter{ \xymatrix{ A \ar[r] \ar[d] & B \ar[d] \\ C \ar[r] & D \ar@{}[lu]|{\circlearrowright} } } \end{equation} \]

4.2 平行な矢印

\[ \newcommand{\prarrow}[2]{\ar@<0.5ex>[r]^-{#1} \ar@<-0.5ex>[r]_-{#2}} \newcommand{\plarrow}[2]{\ar@<0.5ex>[l]^-{#1} \ar@<-0.5ex>[l]_-{#2}} \newcommand{\pdarrow}[2]{\ar@<0.5ex>[d]^-{#1} \ar@<-0.5ex>[d]_-{#2}} \newcommand{\puarrow}[2]{\ar@<0.5ex>[u]^-{#1} \ar@<-0.5ex>[u]_-{#2}} \xymatrix{ A \prarrow{f}{g} \pdarrow{h}{k} & B \\ C & D \plarrow{u}{v} \puarrow{s}{t} } \]

4.6 pullback,pushout

\[ \newcommand{\pullbackmark}[2]{\save ;p+<.8pc,0pc>:(0,-1)::% (#1) *{\phantom{Z}} % ;p+(#2)-(0,0) **@{-}% ;p-(#1)+(0,0) *{\phantom{Z}} **@{-} \restore} \begin{xy} \xymatrix{ P_2 \pullbackmark{2,0}{1,1} \ar[rd] \ar[dd] \ar[rr] & & P_1 \ar[dd]|{\hole} \ar[rd] & \\ & P_1 \ar[dd] \ar[rr] & & P_0 \ar[dd] \\ C_2 \ar[rr]|{\hole} \ar[rd] & & \pullbackmark{-2,0}{0,-2} C_1 \ar[rd] & \\ & C_1 \ar[rr] & & \pullbackmark{-1,-1}{0,-2} \pullbackmark{-1,-1}{-2,0} \pullbackmark{-2,0}{0,-2} C_0 } \end{xy}\]

4.7 いろいろ

\[\begin{xy} \def\objectstyle{\scriptstyle} \def\labelstyle{\scriptstyle} Z \cong \lim\left( \vcenter{ \hbox{ $ \underbrace{ \xymatrix@C=6pt{ & & X \ar[lld] \ar[ld] \ar@{}[d]|(.6){\dots} \ar[rd] \ar[rrd] & & \\ Y & Y & \dots\dots & Y & Y } }_n $ } }\right) \end{xy}\]

6 xypolygon

6.1 基本

\[\begin{xy} /r3pc/: \xypolygon3{~*{\circ}~<<{@{-}}~<>{|-{\xypolynode}} ~><{@{--}}~>>{_-\xypolynode}} \end{xy}\] \(\begin{xy} \end{xy}\) \(\begin{xy} \end{xy}\) \(\begin{xy} \end{xy}\) \(\begin{xy} \end{xy}\) \[\begin{xy} \end{xy}\]