TeX Quellcode:
\begin{array}{rclcl}37x &>& 0 &\vert & :37 \\x &>& 0\end{array}