Hey Simon,

I am very sorry for my sloppy proofs.

I have gone back and tried to fix up my formatting in one of my proofs.

I thought

\[
\begin{eqnarray}
& A \\\\
& \iff \\\\
& B \\\\
& \iff \\\\
& C \\\\
& \iff \\\\
& D
\end{eqnarray}
\]

looks better on a mobile phone than

\[
\begin{align}
A & \iff B \\\\
& \iff C \\\\
& \iff D
\end{align}
\]

Since for wide expressions the latter tends to fly off the screen.

However, I will use the latter format because you are right, it is more conventional.