TeX Quellcode:

\begin{array}{rclcl} 6x &>& 0 &\vert & :6 \\x &>& 0 \end{array}