2.5 曲げる

\ar@/^曲げる量/[方向]で進行方向左側に, \ar@/_曲げる量/[方向]で進行方向右側に ふくらんだ矢印になる.

  \[
   \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
   }
  \]

⇓

             f           ---
          -------   -----  --
       -- -     - -----    --
 --------A --g--B--    C| --
---  -----        -     |--
  -------- ----- ------  -
         D -----E------F
                ∃h