TeX Quellcode:

\begin{array}{rclll} 1 &=& 2^{\frac{1}{2} y^2-1}+1 &\vert & -1 \cr 0 &=& 2^{\frac{1}{2} y^2-1}\cr 0 &=& \dfrac{2^{\frac{1}{2} y^2}}{2} &\vert & \cdot 2\cr 0 &=& 2^{\frac{1}{2} y^2} &\vert & \log_{2}{( )}\cr \log_{2}{(0)} &=& \dfrac{1}{2} y^2\end{array}