TeX Quellcode:

\begin{array}{rclll}-s+13 &\geq& 0 &\vert & -13\\ -s &\geq& -13 &\vert& \cdot (-1) \\ s &\leq& 13\end{array}