Ausgerichtete Gleichung mit beschrifteten Äquivalenzzeichen

[STaRDoGGCHaMP]

Hallo,
Folgendes Minimalbeispiel:

\documentclass{scrartcl}
\usepackage{amsmath}

\begin{document}
\begin{align*}
(\forall x\in M:P(x))\vee A&\overset{\text{Definition}}{\equiv}(P(B)\wedge P(C)\wedge P(D))\vee A\\
&\overset{\text{Assoziativität}}{\equiv}
\end{align*}

\end{document}

Resultat:

Nun ist mein Problem, dass ich gerne hätte, dass die Äquivalenzzeichen direkt untereinander stehen ohne dabei auf die Beschriftung verzichten zu müssen. Dass Latex die Schriften ausrichtet leuchtet mir ein und ist logisch wegen dem overset-element. Dass ich allerdings möchte, dass die Äquivalenzzeichen direkt untereinander stehen sollte auch klar sein. Nun ist die Frage wie ich Latex das klar mache und ob es dafür überhaupt eine Lösung gibt. Ich bin noch ein blutiger Anfänger was Latex angeht, insofern bitte nicht zu streng sein, was Code, Stil und co. angeht.

mfG,
STaRDoGGCHaMP

[voss]

Nun ist mein Problem, dass ich gerne hätte, dass die Äquivalenzzeichen direkt untereinander stehen ohne dabei auf die Beschriftung verzichten zu müssen. Dass Latex die Schriften ausrichtet leuchtet mir ein und ist logisch wegen dem overset-element. Dass ich allerdings möchte, dass die Äquivalenzzeichen direkt untereinander stehen sollte auch klar sein. Nun ist die Frage wie ich Latex das klar mache und ob es dafür überhaupt eine Lösung gibt.

\documentclass{scrartcl}
\usepackage{amsmath}

\begin{document}
\begin{align*}
 (\forall x\in M:P(x))\vee A
   & \array[t]{@{} c @{}}\overset{\text{Definition}}{\equiv}\\
                 \overset{\text{Assoziativität}}{\equiv}
     \endarray 
    (P(B)\wedge P(C)\wedge P(D))\vee A
\end{align*}

\end{document}

Herbert

[STaRDoGGCHaMP]

Vielen Dank

peinlich, dass ich auf sowas nicht selber komme ..