如何在 Latex 中编写这个多行公式？

Question

有人知道如何在 Latex 中写出这个公式吗？

梅威瑟：

\documentclass{article}
\usepackage{amsmath, amssymb, latexsym}
\begin{document}
$$R (A, B, C) \cup P (D, E, F) = Q (A, B, C)$$
% a b c     m n o     a b c
% d e f     g h i     d e f
% g h i               g h i
% j k l               j k l
%                     m n o.
\end{document}

Answer 1

最简单的方法可能是使用array。

\documentclass{article}
\usepackage{amsmath, amssymb}
\begin{document}
\[ \begin{array}{*{4}{c@{}c@{\,}c@{\,}c@{}}}
    R( & A, & B, & C & ) \cup P( & D, & E, & F & ) = Q( & A, & B, & C) \\
       & a  & b  & c &           & m  & n  & o &        & a  & b  & c  \\
       & d  & e  & f &           & g  & h  & i &        & d  & e  & f  \\
       & g  & h  & i &           &    &    &   &        & g  & h  & i  \\
       & j  & k  & l &           &    &    &   &        & j  & k  & l  \\
       &    &    &   &           &    &    &   &        & m  & n  & o.
\end{array} \]
\end{document}

Answer 2

这是一个具有 3 个顶部对齐array环境的解决方案。

\documentclass{article}
\begin{document}
\[
\setlength\arraycolsep{1pt}     % default: 5pt
\renewcommand\arraystretch{1.5} % default: 1
R(\begin{array}[t]{@{} lll @{}}
  A, & B, & C \\
  a  & b  & c \\
  d  & e  & f \\
  g  & h  & i \\
  j  & k  & l 
\end{array}) 
\cup
P(\begin{array}[t]{@{} lll @{}}
  D, & E, & F \\
  m  & n  & o \\
  g  & h  & i 
\end{array})
=
Q(\begin{array}[t]{@{} lll @{}}
  A, & B, & C \\
  a  & b  & c \\
  d  & e  & f \\
  g  & h  & i \\
  j  & k  & l \\
  m  & n  & o
\end{array})
\]
\end{document}

Answer 3

您有两个选项，要么array控制将列对齐设置为left、centre 或ight，要么与对齐组一起r使用（请参阅此alignat{n}right & left方程）

编辑。请参阅有关该包的评论latexsym。

\documentclass{article}
\usepackage{amsmath, amssymb}
\begin{document}

\[
  \begin{array}{c @{\;}c@{\;} c @{\ }c@{\ } c}
    R(A,B,C) &\cup& P(D,E,F) &=& Q(A,B,C) \\
    a b c    &    & m n o    & & a b c \\
    d e f    &    & g h i    & & d e f \\
    g h i    &    &          & & g h i \\
    j k l    &    &          & & j k l \\
             &    &          & & m n o
  \end{array}
\]

\begin{alignat*}{3}
    R(A,B,C) &\;\cup\;&& P(D,E,F) &\;=\;& Q(A,B,C) \\
    a b c    &        && m n o    &     & a b c \\
    d e f    &        && g h i    &     & d e f \\
    g h i    &        &&          &     & g h i \\
    j k l    &        &&          &     & j k l \\
             &        &&          &     & m n o
\end{alignat*}

\end{document}