这个问题与QED 符号在编号方程线上的位置但我希望有一个更清洁的解决方案。
我想用一个带编号的多行环境(实际上是 XYpic 图)来结束证明。我希望数字垂直居中对齐,但 QED 框位于底部。我尝试了多种对齐和聚集与 qedhere 的组合,但没有特别成功,但我确信这是可能的。
更新:已请求 MWE。这个并不十分简单,因为它包括整个图表,但其余代码是简单的。
\documentclass{article}
\usepackage{amsmath,amsthm,amssymb}
\usepackage[all]{xy}\newdir{ >}{{}*!/-7pt/\dir{>}}
\begin{document}
\begin{proof}
This follows from the commutativity of the bundle square
\begin{equation}
\begin{gathered}[b]
\begin{aligned}
\xymatrix@C=1em@R=1.5em{
& G \ar[ddl]_j
\ar[d]|{\varkappa \,\circ\, j}
\ar[ddr]\ar[drr]
&
\\
& {}_KG_K
\ar[rr]|(.24)\hole
\ar'[d][dd]
&
& BG \ar[dd]^\pi
\\
G_K \ar@{ >->}[ru]_\varkappa
\ar[rr]
\ar[dd]_\chi
&
& EG \ar[ru]
\ar[dd]
&
\\
& BK \times BK
\ar'[r]_(.675){\rho \times\rho}[rr]
&
& BG \times BG.
\\
BK
\ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
\ar[rr]_\rho
&
&
BG
\ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
&
}
\\[-\dp\strutbox]
\end{aligned}
\end{gathered}
\qedhere
\end{equation}
\end{proof}
\end{document}
如您所见,方程编号和 QED 框都与 对齐\pi
,而我希望数字与\pi
中间对齐,框与底部的 BG 对齐。
答案1
您可以使用证明的 qed 符号的通常位置,但在之前垂直备份:
\documentclass{article}
\usepackage{amsmath,amsthm,amssymb}
\usepackage[all]{xy}\newdir{ >}{{}*!/-7pt/\dir{>}}
\begin{document}
\begin{proof}
This follows from the commutativity of the bundle square
\begin{equation}
\vcenter{
\xymatrix@C=1em@R=1.5em{
& G \ar[ddl]_j
\ar[d]|{\varkappa \,\circ\, j}
\ar[ddr]\ar[drr]
&
\\
& {}_KG_K
\ar[rr]|(.24)\hole
\ar'[d][dd]
&
& BG \ar[dd]^\pi
\\
G_K \ar@{ >->}[ru]_\varkappa
\ar[rr]
\ar[dd]_\chi
&
& EG \ar[ru]
\ar[dd]
&
\\
& BK \times BK
\ar'[r]_(.675){\rho \times\rho}[rr]
&
& BG \times BG.
\\
BK
\ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
\ar[rr]_\rho
&
&
BG
\ar@{ >->}[ru]_(.55){(\mathrm{id},\mathrm{pt})}
&
}
}
\end{equation}
\vspace*{-2\baselineskip}
\end{proof}
Following text.
\end{document}