TeX Quellcode:

\begin{array}{rclcl}x + 2y & \leq & -2x - y &\vert& +y-x \cr 3y & \leq & -3x &\vert& :3 \cr y & \leq & -x\end{array}