TeX Quellcode:

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