TeX Quellcode:
\begin{array}{rclll}3x &\neq & 0 & \vert & :3\\x &\neq & 0\end{array}