TeX Quellcode:
\begin{array}{rclcl} x+13 &=& 9 &\vert& -13 \cr x &=& -4 \end{array}