TeX Quellcode:

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