我想用 \subseteq 对齐这些句子。但它们不适合这个页面,我不得不减小字体大小。问题是这部分与文本的其余部分不成比例。
有没有更好的方法来写这个?这是我的代码:
\begin{gather*}
\tiny{
\begin{aligned}
L(1) \cup L(0)L(1) \cup L(0)L(0)L(1) &\subseteq (L(0)\cup L(1))^*\\[5pt](L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^{\boldsymbol{*}} &\subseteq ((L(0)\cup L(1))^*)^{\boldsymbol{*}}\\[5pt]
(L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^* &\subseteq (L(0)\cup L(1))^*\\[5pt]
(L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^*\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*} &\subseteq (L(0)\cup L(1))^*\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*}
\end{aligned}}
\end{gather*}
答案1
我不知道您是否喜欢这个样子,但是您可以使用mathtools
和\shortintertext
将长行分成三行,将第一行左对齐,将第三行右对齐:
\documentclass{article}
\usepackage{mathtools,lipsum}
\begin{document}
\lipsum[2]
\begin{align*}
L(1) \cup L(0)L(1) \cup L(0)L(0)L(1) &\subseteq (L(0)\cup L(1))^*\\[5pt](L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^{\boldsymbol{*}} &\subseteq ((L(0)\cup L(1))^*)^{\boldsymbol{*}}\\[5pt]
(L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^* &\subseteq (L(0)\cup L(1))^*\\[5pt]
\shortintertext{$
(L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^*\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*}$}
&\subseteq
\shortintertext{\hfill $(L(0)\cup L(1))^*\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*}$}\\[-2\baselineskip]
\end{align*}
\lipsum[3]
\end{document}
答案2
您可以在对齐内拆分行:
\documentclass[a4paper]{article}
\usepackage{mathtools}
\begin{document}
\noindent X\dotfill X
\begin{align*}
L(1) \cup L(0)L(1) \cup L(0)L(0)L(1) &\subseteq (L(0)\cup L(1))^*\\[5pt](L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^{\boldsymbol{*}} &\subseteq ((L(0)\cup L(1))^*)^{\boldsymbol{*}}\\[5pt]
(L(1) \cup L(0)L(1) \cup L(0)L(0)L(1))^* &\subseteq (L(0)\cup L(1))^*\\[5pt]
\begin{multlined}[b]
(L(1) \cup L(0)L(1) \cup{} L(0)L(0)L(1))^*\\
\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*}
\end{multlined}
&
\begin{multlined}[t]
\subseteq (L(0)\cup L(1))^*\\
\boldsymbol{L(0)L(0)L(0)(L(0) \cup L(1))^*}
\end{multlined}
\end{align*}
\noindent X\dotfill X
\end{document}