我需要在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}