TeX Quellcode:
\begin{array}{rclll} 26 &=& 3x+5 &\vert & -5 \cr21 &=& 3x &\vert & :3 \cr7 &=& x & & \rightarrow \quad P_2(7 \mid 26) \end{array}