TeX Quellcode:

\begin{array}{rclll}x-1 &\geq & 0 &\vert & +1\\x &\geq & 1\end{array}