5.1 xy

xyrefe のはじめのいてあることののおおざっぱな. いもあるか .

  \xy <1cm,0cm>:
  (1,0)*{o},(1,1)*{a} **{>};
  +(0,1)*{b} **@{>};+(0,1)*{c} **@^{>}
  \endxy

⇓

      c


b   > a
  >>
>     o

, p c がどのように, どこに o,a,b,c がおかれ, どの**{>} ばれるかをした.

                                      a                   b

p      (0,0)      **{>}           |-| (1,1)  **@{>}     |-| (0,1)  **@ˆ{>}
                       |-|       -;|                 -;|
c                (1,0)  -,  (1,1)      (0,0) +(0,1) (0,1)     (1,1) +(0,1)-(1,2)

                   o         a                   b        a         c