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

⇓

     f
 A||---- B|
  || g   ||
k  h    s t
 C --v-- D
     u

使うには以下のようにマクロ\xymatrixをいれたものの便だろう. 1 からなるくときには, ここにている@1というをするとよいそうであ .

  
  \newcommand{\paar}[3]{\xymatrix@1{#1 \ar@<0.5ex>[r]^-{{#2}_1}%
  \ar@<-0.5ex>[r]_-{{#2}_2} & #3}}
  

  \newcommand{\paaar}[3]{\xymatrix{#1 \ar@<0.5ex>[r]^-{{#2}_1}%
  \ar@<-0.5ex>[r]_-{{#2}_2} & #3}}
  
  \verb+@1+したもの$\paar{A}{f}{B}$,
  していないもの$\paaar{A}{f}{B}$
  はこのようになるが, どうであろうか.

⇓

@1したもの --f1--
A--f--B
   2 , していないものA -f1--B
   f2 はこのようになるが, どうであろうか.