与等号以外的符号对齐

Question

我必须用等式和转换来表示“等式”。我尝试使用对齐，但转换符号大于等式符号，这让它看起来很奇怪。

\begin{align}a &= \sum_k^l k\\
&\triangleright^+ \sum_k^l k\end{align}

有没有简单的方法可以解决这个问题？我可以使用数组，但这样两行之间的垂直空间就太小了，我必须\displaystyle在各处添加...

\[\begin{array}{rll}
a & = & \displaystyle\sum_k^l k\\
&\triangleright^+ &\displaystyle\sum_k^l k
\end{array}\]

有没有更简单的方法可以做到这一点？

Answer 1

这是alignat为了：

\documentclass{amsart}
\begin{document}
\thispagestyle{empty}
Using align:
\begin{align}
a &= \sum_k^l k\\
&\triangleright^+ \sum_k^l k
\end{align}

Using alignat:
\begin{alignat}{2}
&a &=& \sum_k^l k\\
&&\triangleright^+& \sum_k^l k
\end{alignat}
\end{document}

Answer 2

使等号与过渡符号一样宽。

顺便说一句，\triangleright不是一个关系符号，所以最好用新命令将其变成一个关系符号。

\documentclass{article}
\usepackage{mathtools,calc}

\newcommand{\teq}{\mathrel{\mathmakebox[\widthof{$\transition$}]{=}}}
\newcommand{\transition}{\mathrel{\triangleright^+}}

\begin{document}

\begin{align}
a &\teq        \sum_k^l k\\
  &\transition \sum_k^l k
\end{align}

\end{document}

这样做的好处是，你可以改变符号的外观。例如，如果你将定义修改为

\newcommand{\transition}{\mathrel{\triangleright^{\!+}}}

输出内容（不修改文档主体）将变为