TeX Quellcode:

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