TeX source:
\begin{align} &\ x^2+y^2 = z^2 \\ \implies &\ x^2+y^2 = x^2+y^2 = x^2+y^2 = z^2 \\ \implies &\ x^4+y^4 = z^4 \end{align}