TeX Quellcode:

\begin{array}{rclll}4-x+4 &=& 16 &\vert & -8 \\-x &=& 8 &\vert& \cdot(-1) \\x &=& -8\;\in\mathbb{D} \end{array}