在一个指南中,我提出了以下问题,当目标是正确对齐多个方程的等号以及换行时,对齐环境内的长方程更难处理 - 如下所示:
使用对齐环境,建议的一种简单方法是添加适当数量的空格(等于 = 和一个空格的长度),书中建议使用\mathrel{\phantom{=}} \negmedspace{}
\begin{align}
a &= b + c \\
&= d + e + f + g + h + i \\
&\mathrel{\phantom{=}} \negmedspace{} + j + k + l + m + n + o \\
&= p + q + r + s
\end{align}
我的第一个问题是,这里 \mathrel 和 \negmedspace 的具体用途是什么?
我还发现,这种\phantom{=\ }
方法的效果是一样的,而且看起来更直接/更容易回忆或想出。这种方法是否存在潜在的问题?一般来说,人们会问,还有其他好方法可以达到预期的效果吗?
答案1
的目的\mathrel
是确保 的解释方式与数学关系符号本身的解释\phantom{=}
方式相同。以下是如何影响间距的视图:=
\mathrel
\begin{align}
a &= \text{some RHS} \\
&\mathrel{\phantom{=}} \text{some RHS with mathrel} \\
&\phantom{=} \text{some RHS without mathrel} \\
&{=} \text{some RHS without mathrel}
\end{align}
使用 时\mathrel
,单词some
会垂直对齐。如果没有它,它们就不会对齐。这是因为\phantom
删除了运算符的“关系属性” =
。
现在考虑\negmedspace
。这相当于插入二元关系周围的一个neg
ative med
ium ,例如(参见space
+
如何改变二元关系间距的默认值?)。因此,从技术上讲,这会将 推到+
左侧,以便它与上方的其他元素齐平(d
在本例中):
\begin{align}
a &= b + c \\
&= d + e + f + g + h + i \\
&= \negmedspace{} + j + k + l + m + n + o \\
&\mathrel{\phantom{=}} \negmedspace{} + j + k + l + m + n + o \\
&= p + q + r + s
\end{align}
对齐“要求”通常因人而异,因此是主观的。有些人喜欢强调上一行的延续并插入更宽的空间,而其他人则喜欢更严格的水平对齐。以下是前者的视图:
\begin{align}
a &= b + c \\
&= d + e + f + g + h + i \\
&\phantom{{}={}} \quad + j + k + l + m + n + o \\
&= p + q + r + s
\end{align}
请注意,\phantom{{}={}}
实现与 相同的间距\mathrel{\phantom{=}}
,确保=
(或\phantom{=}
)被解释为数学关系。