TeX Quellcode:
\begin{array}{rclcl}22z & \neq & 0 &\vert& :22 \\z & \neq & 0 \\\\\end{array}