Nouvelles lignes dans displaymath LaTeX

Question

Je dois écrire la formule suivante dans LaTeX, mais je ne peux pas la mettre dans plusieurs lignes et avec l'indentation droite pour les lignes suivantes, ceci est mon code.

\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

Depuis displaymath n'est pas numéroté peut-être vous préférez l'align * environnement au lieu d'aligner. Remarque: généralement, le symbole & est utilisé avant un symbole de relation pour l'alignement.

Pour plus d'informations, consultez l'un des documents répertoriés ici: Mathematics with LaTeX.

Stefan

Answer 2

Utilisez l'environnement align de l'emballage 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 3

Une solution consiste à utiliser eqnarray ou mieux eqnarray * pour éviter les étiquettes d'équation.

\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

Encore une fois, vous pouvez imbriquer un environnement split (du paquet amsmath) dans votre 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} 

Je pense que vous devriez fixer z[T \exists dans la dernière ligne.