TeX Quellcode:

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