TeX Quellcode:

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