数组内的括号

Question

我使用 Typora。使用数组和多个四边形，我获得了以下内容：

$\begin{array}{lcl} P_4 & = & P_1 & \cup & \\ 
& \cup & P_2 & \cup & \\ 
& \cup & \left \{ S \xrightarrow[(1)]{} b \quad 
    \mid \quad S_1 \rightarrow b \in P_1, 
         \quad b \in X \cup \left \{ \lambda \right \} 
         \quad \right \} &\cup & \\ 
&\cup & \left \{ S \xrightarrow[(2)]{} bC \quad 
   \mid \quad S_1 \rightarrow bC \in P_1, 
        \quad b \in X, \quad b \ne \lambda, 
        \quad C \in V_1 \quad \right \} 
\end{array}$

相反，我希望获得以下内容：

我试过了，但是，如果我在数组中使用括号，就会出现错误。请问您能告诉我，如何获得该表格定位吗？谢谢！:)

Answer 1

这是一个刻意采用不同风格的答案，它使用单个align*环境，不使用任何array环境。请注意，\cup第 2、3 和 4 行开头的符号移到了=第 1 行符号的右侧，以强调（第 1 行开头）是所有四行剩余内容的并集。使用这样的布局，也没有必要在第 1、2 和 3 行末尾p提供符号。\cup

还要注意的是，我在第 3 行和第 4 行中使用了\Bigm|，\mid以便为这两行的主要内容提供更多的视觉支持。我还使用简单的空格代替\quad，因为我认为后者会插入太多了水平位移。

\documentclass{article} 
\usepackage{amsmath} % for 'align*' env.
\begin{document}
\begin{align*}
P_4 &= P_1 \\
    &\quad \cup P_2 \\
    &\quad \cup\Bigl\{ S\xrightarrow[(1)]{} b\phantom{C} 
               \Bigm|  S_1\to b\phantom{C}\in P_1,\  
                       b\in X\cup\{\lambda\} 
               \Bigr\} \\
    &\quad \cup\Bigl\{ S\xrightarrow[(2)]{}bC 
               \Bigm|  S_1\to bC\in P_1,\ 
                       b\in X,\ 
                       b\notin\lambda,\ C\in V_1
               \Bigr\}
\end{align*}
\end{document}

Answer 2

我会利用第二任期较短的优势：

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{equation*}
\begin{aligned}
P_4 = P_1
& \cup P_2 \\
& \cup \Bigl\{ S \xrightarrow[(1)]{} b\hphantom{C} \Bigm|
         S_1 \rightarrow b \in P_1, b \in X \cup \{\lambda\}
       \Bigr\} \\
& \cup \Bigl\{ S \xrightarrow[(2)]{} bC \Bigm|
         S_1 \rightarrow bC \in P_1,
          b \in X,  b \ne \lambda,
          C \in V_1
       \Bigr\}
\end{aligned}
\end{equation*}

\end{document}

尾随的\cup符号没有任何作用，看起来就像是悬在空中。除了竖线之外，我认为没有理由人为地对齐不相关的位。相反，术语之间的不对称将有助于读者发现差异。

Answer 3

实现此目的的一种方法是使用\hphantom。

\documentclass{article}
\usepackage{amsmath}
\begin{document}
$\begin{array}{lcll} P_4 & = & P_1 & \cup  \\ 
& \cup & P_2 & \cup  \\ 
& \cup & \left \{ 
\makebox[0pt][l]{$S \xrightarrow[(1)]{} b \quad$}
\hphantom{S \xrightarrow[(2)]{} bC \quad}
 \mid \makebox[0pt][l]{$\quad S_1 \rightarrow b \in
P_1, \quad b \in X \cup \left \{ \lambda \right \} \quad$}
\hphantom{\quad S_1 \rightarrow bC \in P_1, \quad b \in X, \quad b \ne \lambda, \quad C \in V_1 \quad} \right \} &\cup  \\
&\cup& \left \{ S \xrightarrow[(2)]{} bC \quad \mid \quad S_1 \rightarrow bC \in P_1, \quad b \in X, \quad b \ne \lambda, \quad C \in V_1 \quad \right \} 
\end{array}$
\end{document}

选择：\vphantoms

\documentclass{article}
\usepackage{amsmath}
\begin{document}
$\begin{array}{lclclll} P_4 & = & P_1 & & & & \cup  \\ 
& \cup & P_2 & & & & \cup  \\ 
& \cup & \left \{ 
S \xrightarrow[(1)]{} b \right.&  \mid &  S_1 \rightarrow b \in
P_1, \quad b \in X \cup \left \{ \lambda \right \}& 
\left.\vphantom{S \xrightarrow[(1)]{} b}\right\} &\cup  \\
&\cup& \left\{ S \xrightarrow[(2)]{} bC \right.& \mid 
& S_1 \rightarrow bC \in P_1, \quad b \in X, \quad b \ne \lambda, \quad C \in V_1 
& \left.\vphantom{S \xrightarrow[(1)]{} b}\right\}
\end{array}$
\end{document}

但你真的喜欢这个结果吗？（对我来说，它看起来几乎和披萨上的菠萝一样糟糕 ;-)

Answer 4

适应Mico 的这个回答，我们可以生产以下产品：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\setlength{\arraycolsep}{3pt}
\begin{array}{rcl c l c l c r c r c }
P_4 & = &    P_1  &&&&&&&&& \cup \\
    & \cup & P_2  &&&&&&&&& \cup \\
    & \cup & \Bigl\{ S \xrightarrow[(1)]{} b & \mid & S_1 \to b  \in P_1, && b \in X \cup  \{ \lambda \} &&                  && \Bigr\}            & \cup \\
    & \cup & \Bigl\{ S \xrightarrow[(2)]{} bC & \mid & S_1 \to bC \in P_1, && b \in X,                    &&   b\neq \lambda, && C\in V_1   \Bigr\} & \cup 
\end{array}
\]
\end{document}