TeX Quellcode:

\begin{array}{rclcl} 10z &>& 0 &\vert & :10 \\z &>& 0 \end{array}