TeX Quellcode:

\begin{array}{rclll}10x &>& 0 &\vert & :10\\x &>& 0\end{array}