TeX Quellcode:

\begin{array}{rclll}\ln(7) &=& \ln \left( \dfrac{-x+5}{12}\right) &\vert & e^{*}\cr 7 &=& \dfrac{-x+5}{12} &\vert & \cdot 12\cr 84 &=& -x+5 &\vert & -5\cr 79 &=& -x &\vert & \cdot (-1)\cr -79 &=& x\;\in\;\mathbb{D} & & \rightarrow \quad P_2 \left( -79 \mid \ln\left(7\right) \right)\end{array}