数学模式下的混合垂直对齐

Question 1

\documentclass{article}
\begin{document}

\(
\begin{array}{llcll}
  \multicolumn{3}{l}{label1}\\
  &name1&  ::=& 1+1& \textsf{one plus one}\\
  && | & 2\times 2& \textsf{two times two}\\
  && | & 3^3 & \textsf{three raised to the power of three}\\
  \multicolumn{3}{l}{label2}\\
  &name2&  ::=& choice2 & \textsf{foo}\\
  && | & choice2 & \textsf{bar}\\
  && | & choice3 & \textsf{qux}\\
\end{array}
\)

\end{document}

在此处输入图片描述

Answer

\documentclass{article}
\begin{document}

\(
\begin{array}{llcll}
  \multicolumn{3}{l}{label1}\\
  &name1&  ::=& 1+1& \textsf{one plus one}\\
  && | & 2\times 2& \textsf{two times two}\\
  && | & 3^3 & \textsf{three raised to the power of three}\\
  \multicolumn{3}{l}{label2}\\
  &name2&  ::=& choice2 & \textsf{foo}\\
  && | & choice2 & \textsf{bar}\\
  && | & choice3 & \textsf{qux}\\
\end{array}
\)

\end{document}

在此处输入图片描述

Question 2

这amsmath包裹提供命令\intertext{...}，将其参数排版为左对齐，同时仍保留后续的数学对齐。从包装文档：

该命令\intertext用于在多行显示结构中间短暂插入一行或两行文本...其显著特点是保留对齐，如果您只是结束显示然后随后重新启动它，则不会发生这种情况。\intertext可能仅出现在\\或\\*命令之后。

\intertext{...}在环境中不起作用array。我align*在这里使用环境（以抑制方程编号）：

\documentclass[10pt]{article}
\usepackage[showframe]{geometry}% Show page layout frames
\usepackage{calc}% For width calculations
\usepackage{amsmath}
\begin{document}

\newcommand*{\also}[1][|]{\makebox[\widthof{$=$}][c]{$#1$}}%

\begin{align*}
  \intertext{Label 1.}% Text flush left
  X_{\text{long subscript}} ::=&\ 1 &&\text{This is}  \\
    |&\ 2+3 && \text{a comment on the numbers that} \\
    |&\ 4+5\times 6 &&\text{stretch on forever.} \\
\intertext{Label 2..}% Text flush left
  \text{name2..} ::=&\ choice21... && \text{Here are some more comments}  \\
    \also&\ choice22.. && \text{that describe the numbers} \\
    \also&\ \textstyle 1+3+5!+\binom{n}{n-1} && \text{in detail.}
\end{align*}
\end{document}

$将 AMSmath 中的 Align* 环境与 \intertext 对齐$

=由于您对和之间的水平对齐感兴趣|，我创建了一个新命令\also[<operator>]，您可以使用它来居中可选的<operator>（默认为|）。第一个块没有使用\also，而第二个块使用了，对齐了这两个运算符。使用geometry包裹仅显示文本块内的水平对齐。

Answer