在 LaTeX 中对齐方程式

Question

我试图对齐以下方程，但可惜。有人可以指导一下吗？

\begin{flalign}
x \in A \cap (B \cup C)
& \Rightarrow (x \in A) \lambda \Big( (x \in B)\vee(x \in C) \Big) & \\
& \Rightarrow \Big( (x \in A) \lambda (x \in B) \Big) \vee \Big( (x \in A) \lambda (x \in C) \Big) & \\
& \Rightarrow (x \in A \cap B) \lambda ( x \in A \cap C) & \\
& \Rightarrow x \in (A \cap B) \cup (A \cap C) 
\end{flalign}

看起来像

a => b
  => c
  => d
  => e

以下是我使用的序言：

\documentclass[oneside]{book}

\title{Basic Typesetting of Mathematics}
\usepackage[fleqn]{amsmath}
\setlength{\mathindent}{0pt}

我正在使用 Texmaker，但它无法识别\begin{flalign*}或\end{flalign*}。出现奇怪的编译错误。有什么想法吗？

Answer 1

您的代码编译得很好。

我把括号弄小了一点，并使用了它们的左/右版本以获得更好的水平间距。此外，还有不必要的 & 符号。

版本 1：

\documentclass[oneside]{book}

\usepackage[fleqn]{mathtools}
\setlength\mathindent{0pt}

\begin{document}

\begin{flalign}
x \in A \cap (B \cup C)
&\Rightarrow (x \in A) \lambda \bigl((x \in B) \vee (x \in C)\bigr)\\
&\Rightarrow \bigl((x \in A) \lambda (x \in B)\bigr) \vee \bigl((x \in A) \lambda (x \in C)\bigr)\\
&\Rightarrow (x \in A \cap B) \lambda (x \in A \cap C)\\
&\Rightarrow x \in (A \cap B) \cup (A \cap C) 
\end{flalign}

\end{document}

版本 2：使用 daleif 在评论中的建议这个答案， 你得到

\documentclass[oneside]{book}

\usepackage[fleqn]{mathtools}
\setlength\mathindent{0pt}

\newcommand*\implic{\quad\Rightarrow\quad}

\begin{document}

\begin{flalign}
x \in A \cap (B \cup C)
&\implic  (x \in A) \lambda \bigl((x \in B) \vee (x \in C)\bigr)\\
&\implic \bigl((x \in A) \lambda (x \in B)\bigr) \vee \bigl((x \in A) \lambda (x \in C)\bigr)\\
&\implic (x \in A \cap B) \lambda (x \in A \cap C)\\
&\implic x \in (A \cap B) \cup (A \cap C) 
\end{flalign}

\end{document}

Answer 2

此代码有效。我删除了大括号，以便方程之间的间距相同

\documentclass[oneside]{book}
\usepackage[fleqn]{amsmath}
\setlength{\mathindent}{0pt}
\begin{document}
\begin{flalign}
     x \in A \cap (B \cup C)
        & \Rightarrow (x \in A) \lambda \left( (x \in B)\vee(x \in C) \right) & \\
        & \Rightarrow \left( (x \in A) \lambda (x \in B) \right) \vee \left( (x \in A)\lambda (x \in C) \right) & \\
        & \Rightarrow (x \in A \cap B) \lambda ( x \in A \cap C) & \\
        & \Rightarrow x \in (A \cap B) \cup (A \cap C) 
\end{flalign}
\end{document}

Answer 3

此代码对我有用：

\documentclass[oneside]{book}
\usepackage[fleqn]{amsmath}
\setlength{\mathindent}{0pt}
\begin{document}
\begin{flalign}
 x \in A \cap (B \cup C)
  & \Rightarrow (x \in A) \lambda \Big( (x \in B)\vee(x \in C) \Big) & \\
  & \Rightarrow \Big( (x \in A) \lambda (x \in B) \Big) \vee \Big( (x \in A)\lambda (x \in C) \Big) & \\
  & \Rightarrow (x \in A \cap B) \lambda ( x \in A \cap C) & \\
  & \Rightarrow x \in (A \cap B) \cup (A \cap C) 
\end{flalign}
\end{document}