TeX Quellcode:

\begin{array}{rclcl} -12x &=& 0 &\vert& :(-12) \cr x &=& 0 \end{array}