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}