4.6 pullback,pushout
pullback や pushout の図式の角につけるマークの一例. web で見つけたものを
少し変更したものだったと思うが, どこで見つけたものか分からなくなりまし
た.
\newcommand{\pullbackmark}[2]{\save ;p+<.8pc,0pc>:(0,-1)::%
(#1) *{\phantom{Z}} %
;p+(#2)-(0,0) **@{-}%
;p-(#1)+(0,0) *{\phantom{Z}} **@{-} \restore}
\[
\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
}
\]