displaymath LaTeX中的新行

Question

我需要在LaTeX中编写下一个公式，但是我不能将它放在多行中，并且对于后续行有正确的缩进，这是我的代码。

\begin{displaymath}
\pi_D^B(r) = \{z^{(|D|+1)}|\exists x \in r(z[D]=x[D])\wedge \\
             \forall y \in r (y[D]=z[D]\Rightarrow y[T]\subseteq z[T])\wedge \\
             \forall y \in z[T \exists y \in r (y[D]=z[D]\wedge t \in  y[T])\}
\end{displaymath}

Answer 1

使用align包中的amsmath环境：

\begin{align}
 \pi_D^B(r) = &\{z^{(|D|+1)}|\exists x \in r(z[D]=x[D])\wedge \\
              &\forall y \in r (y[D]=z[D]\Rightarrow y[T]\subseteq z[T])\wedge \\
              &\forall y \in z[T \exists y \in r (y[D]=z[D]\wedge t \in  y[T])\}
\end{align}

Answer 2

由于displaymath未编号，您可能更喜欢align *环境而不是align。请注意，通常是＆amp;符号用于对齐的关系符号之前。

有关详细信息，请查看此处列出的文档之一：Mathematics with LaTeX。

的Stefan

Answer 3

一种解决方案是使用eqnarray或更好的eqnarray *来避免方程式标签。

\begin{eqnarray*} 
\pi_D^B(r)  & = & \{z^{(|D|+1)}|\exists x \in r(z[D]=x[D])\wedge \\ 
            &   & \forall y \in r (y[D]=z[D]\Rightarrow y[T]\subseteq z[T])\wedge \\ 
            &   & \forall y \in z[T \exists y \in r (y[D]=z[D]\wedge t \in  y[T])\} 
\end{eqnarray*} 

Answer 4

同样，您可以在split内嵌套displaymath环境（来自包amsmath）：

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{displaymath}
  \begin{split}
    \pi_D^B (r) = & \{z^{(|D|+1)} | \exists x \in r(z[D]=x[D]) \wedge \\
    & \forall y \in r (y[D]=z[D] \Rightarrow y[T] \subseteq z[T]) \wedge \\
    & \forall y \in z[T \exists y \in r (y[D]=z[D] \wedge t \in  y[T])\}
  \end{split}
\end{displaymath}
\end{document}

我认为你应该在最后一行修复z[T \exists。