TeX Quellcode:

\begin{array}{rclll}2x &\geq & 0 & \vert &:2\\ x &\geq & 0\end{array}