枚举并对齐方程

Question

我想列举以下格式的两个方程

（a）对于所有 x < y

（b）对于所有 x + y < z

也就是说，我想在左侧用 a) 和 b) 标记/编号它们，我想将它们左对齐，并且我想对齐 x 以及 < 符号。

我试过

    % Alignment
    \makeatletter
    \newcommand{\leqnomode}{\tagsleft@true}
    \makeatother

    \begin{document}
    ...
    \begingroup\leqnomode
    \begin{alignat}{3}
    &\forall \quad x &&\le y  \tag{a} \\
    &\forall \quad x + y &&\le z \tag{b}
    \end{alignat}
    \endgroup
    ...

方程式的对齐很好，但整个方程式系统居中。我强制左对齐，方法是

    \begingroup\leqnomode
    \begin{flalign*}
    \begin{alignedat}{3}
    \qquad & \forall \quad x &&\le y     \\
    \qquad & \forall \quad x + y &&\le z   
    \end{alignedat} 
    &&
    \end{flalign*} 
    \endgroup

但现在我无法使用\tag“alignedat”中的命令。如能得到任何帮助我将不胜感激。

Answer 1

您可以使用fleqn来自 的环境nccmath。它可以将 的值作为可选参数\displayindent（默认情况下为 0pt，我将其设置为2em）。

无关：我擅自将您在量词后添加的空格缩短为一个粗空格。

\documentclass{article}
\usepackage[showframe]{geometry} 
\usepackage{array, nccmath}

 \makeatletter
\newcommand{\leqnomode}{\tagsleft@true}
\makeatother

\begin{document}

\vspace*{1cm}

\begin{fleqn}[2em]
\leqnomode
\begin{alignat}{3}
&\forall \; x &&\le y \tag{a} \\
&\forall \; x + y &&\le z \tag{b}
\end{alignat}
\end{fleqn}

\end{document}