TeX Quellcode:

\begin{array}{rclll} 3+k &\geq & 0 &\vert & -3\\k &\geq & -3\\\\\end{array}