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