问题

Question

问题

我发现，当我phantom{{}+{}}在对齐环境中添加 时，如果其后跟一个求和符号，则水平间距与我实际使用的 不一样+。

例子

如果我垂直抬起下面的符号，我们可以看到它们没有垂直对齐。

然而，如果我省略+和，它们是对齐的phantom

何必呢？

因为当我有一系列多行不等式时，我不喜欢作者将符号与多个术语对齐，但认为第一行稍微缩进时看起来会更好（如果使用<行距则不需要）。例如-

平均能量损失

\documentclass{extarticle}
\usepackage{amsmath,amssymb,physics}
\begin{document}
    \begin{align*}
        \mu(x, y) = & \phantom{{}+{}} \sum_{k=1}^{2K} \\ % \\[-3.55em]
                    & + \sum_{k=1}^{2K}
    \end{align*}
\end{document}

Answer 1

我想澄清几点：

1. &对齐标签 前关系符号，而不是之后。你可以看看我之前的一个答案（无耻的宣传）。如果你遵循这条规则，那么使用 \phantomrel（或其他等价词）是不可避免的。
2. 您得到不良行为的原因+部分是由于对齐选项卡 的使用不正确 &。 在 之后 &，紧随其后的+是隐式的{}，因此它被解释为二元运算符“加号”。但您实际上希望它是一个“正”的一元运算符，因此会存在间距差异。根据您的示例，您实际上想要一个二进制“加号”。

3. 但是既然+中的& + \sum...是二进制加法，那为什么它与 不同呢& \phantom{{}+{}} \sum...？好吧，虽然{}+{}产生了一个二进制加法，但外层\phantom{...}使整个东西变成了\mathord。注意\sum是\mathop。因此，按照规则，第一行使用了一个细空格

   & \phantom{{}+{}} \sum...变成{} <no space> mathord \, mathop

   而第二行则使用中间空格

   & + \sum...变成{} \: mathbin \: mathop

   因此间距差异是可以预料的。

\phantomrel通过和的组合\phantombin（以及正确使用对齐标签），这个问题就不复存在了。以下是 MWE：

\documentclass{extarticle}
\usepackage{amsmath}
\newcommand\phantomrel[1]{\mathrel{\phantom{#1}}}
\newcommand\phantombin[1]{\mathbin{\phantom{#1}}}
\begin{document}
    \begin{align*}
        \mu(x, y) & =              {} \phantombin{+} \sum_{k=1}^{2K} \text{(Correct spacing)} \\ % \\[-3.55em]
                  & \phantomrel{=} {} +              \sum_{k=1}^{2K}
    \end{align*}
\end{document}

Answer 2

A\phantom不会继承其所替代对象的数学类型。因此，其\phantom{=}行为并不像关系。

此外，=&一般不需要，但={}&如果有必要的话应该这样做。

然而，还有一个更简单的解决方案。

看，妈妈！不\phantom！

\documentclass{extarticle}
\usepackage{amsmath}

\begin{document}

\begin{alignat*}{2}
\mu(x, y) &= & & \sum_{k=1}^{2K} \\
          &  &+& \sum_{k=1}^{2K}
\end{alignat*}

\end{document}