对齐换行和内部多个方程以不同方式对齐

对齐换行和内部多个方程以不同方式对齐

在一个指南中,我提出了以下问题,当目标是正确对齐多个方程的等号以及换行时,对齐环境内的长方程更难处理 - 如下所示:

在此处输入图片描述

使用对齐环境,建议的一种简单方法是添加适当数量的空格(等于 = 和一个空格的长度),书中建议使用\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。这相当于插入二元关系周围的一个negative medium ,例如(参见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{=})被解释为数学关系。

相关内容