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