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