TeX source:
\begin{array}{rcl} \dfrac{1}{2}\cdot (-8)+13 &=& 9 \cr-4+13 &=& 9 \cr9 &=& 9 \end{array}