我正在尝试写同构定理的图表,但遇到了问题。有些对象太宽,有些箭头太短。目前我有
$$\xymatrix{A\ar[r]^\pi\ar[d]_\rho & A/C\ar[d]_\tau\ar@{-->}[dl]_\sigma\\
A/B\ar@{-->}[r]^\theta & (A/C)/(B/C)\\}\hspace{-4mm}$$
$$\xymatrix{A\ar[r]^\rho\ar[d]_\iota\ar[dr]_\varphi & A/(A\cap N)\ar@{-->}[d]_\theta\\
A\,N\ar[r]^\pi & A\,N/N\\}$$
产生
代替
。
请注意,问题在于 (A/C)/(B/C) 和 A/(A\cap N) 的位置:两者都应位于更靠右的位置(左对齐),以便所有箭头的长度大致相等。
我怎么能够指定箭头的长度和物体的位置/对齐? 我在用着\usepackage[all]{xy}
。
答案1
您可以使用\mathrlap
mathtools 的功能:
\documentclass[a4paper]{article}
\usepackage[all,pdf,cmtip]{xy}
\usepackage{mathtools}
\begin{document}
\[
\xymatrix{A\ar[r]^\pi\ar[d]_\rho &
A/C\ar[d]_\tau\ar@{-->}[dl]_\sigma\\
A/B\ar@{-->}[r]^\theta & (A/C)\mathrlap{/(B/C)}}
\]
\[
\xymatrix{A\ar[r]^\rho\ar[d]_\iota\ar[dr]^\varphi &
A/(A\mathrlap{{}\cap N)}\ar@{-->}[d]_\theta\\
AN\ar[r]^\pi & AN/N}
\]
\end{document}
你很幸运,大物体位于最后一列。
答案2
您可以将节点向右移动,使其位于节点之前*+[r]
,然后将节点括在括号中。示例如下所示:
\documentclass{article}
\usepackage[all,cmtip]{xy}
\begin{document}
\begin{displaymath}
\xymatrix{
A\ar[r]^\pi\ar[d]_\rho
& A/C\ar[d]_\tau\ar@{-->}[dl]_\sigma\\
A/B\ar@{-->}[r]^\theta
& *+[r]{(A/C)/(B/C)}
}%\hspace{-4mm}
\end{displaymath}
\begin{displaymath}
\xymatrix{
A\ar[r]^\rho\ar[d]_\iota\ar[dr]_\varphi
& *+[r]{A/(A\cap N)} \ar@{-->}[d]_\theta\\
A\,N\ar[r]^\pi
& A\,N/N}
\end{displaymath}
\end{document}
得出的结果为: