TeX Quellcode:

\begin{array}{rclcl} x-1 & < & x &\vert&\cdot (-x) \cr -x^2+x & < & -x^2 &\vert& -x^2 \cr x & < & 0 \end{array}