☰

将垂直对齐的表达式相对于最终表达式的一部分居中

tag-icon • tag-icon align vertical-alignment alignment center
将垂直对齐的表达式相对于最终表达式的一部分居中

我尽力了，但我认为标题仍然不清楚我的意思（欢迎任何建议），无论如何我会在这里解释它。

我试图将两个“小”表达式居中，每个表达式位于不同的行上，相对于较大表达式的一部分，如下所示：

堆叠表达式

这是我的代码

$$
\begin{aligned}
& \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! [\varphi] \\
& \!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! \vdots \\
\frac{\psi}{\varphi \rightarrow \psi} \ \mathrm{I} \! \to
\end{aligned}
$$

正如你所看到的，小表达式是[\varphi]和\vdots，大表达式是\frac{\psi}{\varphi \rightarrow \psi} \ \mathrm{I} \! \to，大表达式中我视为“中心”的部分就是frac。

现在我必须对许多其他表达式执行此操作，而且由于我的代码只是一种解决方法，因此无法轻松重用，是否有更具可扩展性的方法可以做到这一点？我缺少一些环境吗？

答案1

我建议您（a）将该\ \mathrm{I}\to部分包裹在\mathrlap指令中（由包提供mathtools）以使其占用零宽度，以及（b）使用 amatrix或 agathered环境（取决于您是否要使用文本样式或显示样式数学模式）来包裹项目的完整列向量。

在此处输入图片描述

\documentclass{article} 
\usepackage{mathtools} % for '\mathrlap' macro

\begin{document}
\[
\begin{matrix} % use text-style math mode for rows
  [\varphi] \\
  \vdots \\
  \dfrac{\psi}{\varphi \rightarrow \psi} \mathrlap{\ \mathrm{I}\to}
\end{matrix} \hphantom{\ \mathrm{I}\to} % make up the invisible spacing
\qquad
\begin{gathered} % use display-style math mode for rows
  [\varphi] \\
  \vdots \\
  \frac{\psi}{\varphi \rightarrow \psi} \mathrlap{\ \mathrm{I}\to}
\end{gathered}
\]
\end{document}

相关内容