# How to properly write long logical formulas?

I need to write many mathematical statements written as first order logical formulas. Usually I can't have them on a single line because they tend to be too long. The following one is an example of what I managed to accomplish:

\begin{gather}\begin{split}
& \forall G\left(\phi_1\leftrightarrow\phi_2\right) \\
& \qquad G\text{ is a group} \\
& \qquad \exists G_0\exists\mathord{*}\exists e\left(\bigwedge_{i=3}^7\phi_i\right) \\
\end{split}\end{gather}


I'm not very happy with the result, mainly because of the qquads and the ampersands. I cannot use the itemize environment because five levels of nesting is too much for LaTeX. Also, the itemize environment would force me to add the displaystyle command in front of every formula.

So, it there a better way to achieve this? Thanks.

I would say to use the {tabbing} environment except that you still have to specify math mode in each row. Still, look into it. –  Ryan Reich Nov 17 '10 at 11:51