木质部同构

Question

考虑一下文本：

\xymatrix{
    M \ar[r]^{f}\ar[d]_{h} & N \ar@{-->}[dl]^{g} \\
     P}

如果f是同构，不是恒等。如何更改 tex？如果我用 替换\ar[r]^{f}，\ar@{\cong }[r]^{f}则不起作用。如何获得同构？

Answer 1

通常的方法是\cong在箭头下添加：

\documentclass{article}

\usepackage[all]{xy}

\begin{document}

\xymatrix{
    M \ar[r]^{f}_{\cong} \ar[d]_{h} & N \ar@{-->}[dl]^{g} \\
     P}

\end{document}

该\ar@...语法尝试改变箭头类型，但实际上并没有同构的标准箭头符号。