TeX Quellcode:
\begin{array}{rclll} 6z &\neq & 0 &\vert & :6\\z &\neq & 0\\\\\\\end{array}