对齐中的多列分隔符

对齐中的多列分隔符

我想设置以下内容,但所有 < 都水平对齐

https://i.stack.imgur.com/SqeiG.png

这次失败尝试的根源:

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\newcommand{\ra}{\rightarrow}
\newcommand{\T}[1]{\mathbb{T}_{#1}}
\newcommand{\lbe}{<_{\beta\eta}}

\begin{align*}
0 & \lbe 0 \ra 0                && \in \T0 \\
&\left.
\begin{aligned}
& \lbe 0^2 \ra 0 \\
& \lbe \cdots \\
& \lbe 0^k \ra 0 \\
& \lbe \cdots
\end{aligned}
\right\}                        && \in \T1 \\
& \lbe 1 \ra 0 \ra 0            && \in \T2 \\
& \lbe 1 \ra 1 \ra 0 \ra 0      && \in \T3 \\
& \lbe 3 \ra 0 \ra 0            && \in \T4 \\
& \lbe 1_2 \ra 0 \ra 0          && \in \T5
\end{align*}

\end{document}

答案1

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\newcommand{\ra}{\rightarrow}
\newcommand{\T}[1]{\mathbb{T}_{#1}}
\newcommand{\lbe}{<_{\beta\eta}}

\begin{align*}
0 & \lbe 0 \ra 0                && \in \T0 \\
&\left.
\renewcommand\arraystretch{1.3}
\begin{array}{@{}l}
\lbe\displaystyle 0^2 \ra 0 \\
\lbe\displaystyle \cdots \\
\lbe\displaystyle 0^k \ra 0 \\
\lbe\displaystyle \cdots
\end{array}
\right\}                        && \in \T1 \\
& \lbe 1 \ra 0 \ra 0            && \in \T2 \\
& \lbe 1 \ra 1 \ra 0 \ra 0      && \in \T3 \\
& \lbe 3 \ra 0 \ra 0            && \in \T4 \\
& \lbe 1_2 \ra 0 \ra 0          && \in \T5
\end{align*}

\end{document}

这基本上就是cases环境所做的,只是它有两列,支架在另一侧,并且\arraystretch设置为 1.2。

编辑:
这基本上就是aligned工作原理,除了我删除了\null\,

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\makeatletter
\newenvironment{alignedleft}[1][c]{%
    \RIfM@\else
        \nonmatherr@{\begin{\@currenvir}}%
    \fi
    \if #1t\vtop \else \if#1b \vbox \else \vcenter \fi \fi \bgroup
        \def\math@cr@@@{\cr}%
        \Let@ \chardef\dspbrk@context\@ne
        \default@tag
        \spread@equation % no-op if already called
        \ialign\bgroup
           &\strut@
            $\m@th\displaystyle{##}$%
            \hfil
            \tabskip\minalignsep
            \crcr
}{%
    \crcr
    \egroup
    \egroup
}
\makeatother

\begin{document}

\newcommand{\ra}{\rightarrow}
\newcommand{\T}[1]{\mathbb{T}_{#1}}
\newcommand{\lbe}{<_{\beta\eta}}

\begin{align*}
0 & \lbe 0 \ra 0                && \in \T0 \\
&
\def\arraystretch{1.206}
\left.
\begin{alignedleft}
\lbe 0^2 \ra 0 \\
\lbe \cdots \\
\lbe 0^k \ra 0 \\
\lbe \cdots
\end{alignedleft}
\right\}                        && \in \T1 \\
& \lbe 1 \ra 0 \ra 0            && \in \T2 \\
& \lbe 1 \ra 1 \ra 0 \ra 0      && \in \T3 \\
& \lbe 3 \ra 0 \ra 0            && \in \T4 \\
& \lbe 1_2 \ra 0 \ra 0          && \in \T5
\end{align*}

\end{document}

答案2

此处\hline仅用于演示。应删除,并且对于align环境的最后一行,还有\\

\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}

\newcommand\ra{\rightarrow}
\newcommand\T[1]{\mathbb{T}_{#1}}
\newcommand\lbe{<_{\beta\eta}}
\begin{document}

\twocolumn
\begin{align*}
0 & \lbe 0 \ra 0                && \in \T0 \\\hline
  & \lbe 0^2 \ra 0 \\\hline
  & \lbe \cdots \\\hline
  & \lbe 0^k \ra 0 && \in \T1 \\\hline
  & \lbe \cdots\\\hline
  & \lbe 1 \ra 0 \ra 0            && \in \T2 \\\hline
  & \lbe 1 \ra 1 \ra 0 \ra 0      && \in \T3 \\\hline
  & \lbe 3 \ra 0 \ra 0            && \in \T4 \\\hline
  & \lbe 1_2 \ra 0 \ra 0          && \in \T5\\\hline
\end{align*}

\newpage

\begin{align*}
0 & \lbe 0 \ra 0                && \in \T0 \\\hline
  & \lbe 0^2 \ra 0 \\\hline
  & \lbe \cdots \\\hline
  & \lbe 0^k \ra 0 \quad
    \makebox(0,0){\put(0,60){$\left.\rule{0pt}{1.4cm}\right\}$}} 
         && \mathrel{\makebox(0,0){\put(0,30){$\in \T1$}}} \\\hline
  & \lbe \cdots\\\hline
  & \lbe 1 \ra 0 \ra 0            && \in \T2 \\\hline
  & \lbe 1 \ra 1 \ra 0 \ra 0      && \in \T3 \\\hline
  & \lbe 3 \ra 0 \ra 0            && \in \T4 \\\hline
  & \lbe 1_2 \ra 0 \ra 0          && \in \T5\\\hline
\end{align*}

\end{document}

相关内容