用图表结束证明时 qed 符号未正确对齐

Question

我知道关于墓碑符号的对齐方式存在无数疑问，但我看不到任何一个可以解决这个小问题。

假设你用如下图表来结束你的证明：

\[\xymatrix{A & B \\ C & D} \]

那么小墓碑符号就会比它应该在的位置低一行。如果我\qedhere在图表后面添加，那么墓碑就会与图表中的 B 对齐，这是错误的。

我怎样才能做到这一点？

梅威瑟：

\documentclass{article}
\usepackage{amsmath,amsthm}
\usepackage[all,cmtip,2cell]{xy}
\newtheorem{theorem}{Theorem}

\begin{document}
\begin{theorem} A theorem.
\begin{proof}
\[\xymatrix{A & B \\ C & D} \]
\end{proof}
\end{theorem}

\begin{theorem} A theorem.
\begin{proof}
\[\xymatrix{A & B \\ C & D} \qedhere \]
\end{proof}
\end{theorem}


\end{document}

Answer 1

三种可能的风格：

\documentclass{article}
\usepackage{amsmath,amsthm}
\usepackage[all,cmtip]{xy}
\begin{document}
\begin{proof}
\[
\xymatrix{A & B \\ C & D} \qedhere
\]
\end{proof}
\begin{proof}
\[
\begin{gathered}
\xymatrix{A & B \\ C & D}\\
\end{gathered}
\qedhere
\]
\end{proof}
\begin{proof}
\[
\begin{gathered}[b]
\xymatrix{A & B \\ C & D}\\[-\dp\strutbox]
\end{gathered}
\qedhere
\]
\end{proof}
\end{document}

在最后一个中，调整可能取决于图表底行的内容。