Новые строки в показе 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.Обратите внимание, что обычно символ & используется перед символом отношения для выравнивания.

Для получения дополнительной информации посмотрите один из перечисленных здесь документов: Математика с LaTeX .

Stefan

Answer 3

Опять же, вы можете вкладывать среду split (из пакета amsmath) в вашу displaymath:

\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 в последней строке.

Answer 4

Одним из решений является использование 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*}