Probando xyjax

Probemos unas flechas: \[ \begin{xy} \xymatrix{ a\ar[r]^f\ar[dr]^g & b\\ a & c } \end{xy} \] Y ahora otras: $$\begin{xy} \xymatrix{ 1+\mathbb{N} \ar[r]^{1+\varphi} \ar[d]_{[0,s]} \ar@{}[rd]|{=} & 1+A \ar[d]^{[d,r]} \ar@{}[rd]^(.6){\Leftrightarrow} & 1 \ar[r]^0 \ar@<-.5ex>[rd]_d \ar@<.5ex>@{}[rd]^{=} & \mathbb{N} \ar[r]^s \ar[d]^{\varphi} \ar@{}[rd]|{=} & \mathbb{N} \ar[d]^{\varphi} \\ \mathbb{N} \ar[r]_{\varphi} & A & & A \ar[r]_r & A }\end{xy}$$ Otra $$\begin{xy} \xymatrix{ x\ar@{}@<1.5ex>[d]_{=} & y\ar[d]_{\cong}\\ a & b }\end{xy}$$ Otra $$\begin{xy} \xymatrix{ x\rrtwocell & & y }\end{xy}$$