Un tipico diagramma commutativo si ottiene con

\scalebox{2}{$\xymatrix 
{V\ar[r]^{R(g)} \ar[d]_\phi & V\ar[d]^\phi\\
W\ar[r]^{S(g)} & W}$}

---------------------------------------
Spiegazioni:

\ar ... arrow
[d] ... down
[u] ... up
[l] ... left
[r] ... right
[ur] ... up right ecc.
^   ... a sinistra della freccia
_   ... a destra della freccia
|   ... interrompendo la freccia
--------------------------------------------------
Altri esempi:

$\xymatrix
{0 \ar[r] & M' \ar[r]^\phi \ar[d]_\alpha
& M \ar[r]^\psi \ar[d]_{\on{id}} & M'' \ar[r] \ar[d]^\gamma & 0\\
0 \ar[r] & \on{Im}\phi \ar[r]^i & M \ar[r]^\pi
& M/\on{Im}\phi \ar[r] & 0}$
--------------------------------------------------
$\xymatrix
{M_1\ar[r]^{\phi_1}\ar[d]^{f_1} & M_2\ar[r]^{\phi_2}\ar[d]^{f_2} &
M_3\ar[r]^{\phi_3}\ar[d]^{f_3} & M_4\ar[d]^{f_4}\\
N_1\ar[r]^{\psi_1} & N_2\ar[r]^{\psi_2} &
N_3\ar[r]^{\psi_3} & N_4}$\sm
--------------------------------------------------