带有“对齐”的 Latex 子方程式不对齐？

Question

为什么每行的第二个元素没有垂直对齐？（在这种情况下是 z 和 x{im}）

 \begin{subequations}
 \label{eq:optim2}
 \begin{align}
 & \text{minimize}   & z       &= \sum_{i} c_m &                   &     &                      \label{eq:cost}\\
 & \text{subject to} & x_{im}  &\leq 0 \,,     & \forall &  m, i \;&| \; & p_{ij}   = 1          \label{eq:const1}
 \end{align}
 \end{subequations}

Answer 1

=这是我认为关系（和）的对齐不正确的情况之一\le。它表明两行之间存在平行关系，但实际上并不存在。我会将所有内容左对齐，并使用alignat以避免过多的空间。请记住，align和alignat在右对齐和左对齐之间交替。还请注意，我将子句\forall与不等式放在同一个单元格中，因为它实际上不是一个单独的条件。所以这里有两种可能性。在第一种情况下，对齐在左侧。在第二种情况下，对齐在第一个关系处：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{subequations}
\begin{alignat}{2}
& \text{minimize}\quad   && z = \sum_{i} c_m  \\
& \text{subject to}\quad && x_{im} \leq 0 \,,\ \forall m, i \mid p_{ij} = 1
\end{alignat}
\end{subequations}
\begin{subequations}
\begin{alignat}{2}
& \text{minimize}\quad   &      z &= \sum_{i} c_m  \\
& \text{subject to}\quad & x_{im} &\leq 0 \,,\ \forall m, i \mid p_{ij} = 1
\end{alignat}
\end{subequations}
\end{document}

我使用\mid而不是\;|\;因为它提供了自己的间距。