TeX Quellcode:
\begin{array}{rclcl}2x + 5 & \leq & x-25 & \vert & -5 -x \\x & \leq & -30\end{array}