TeX source:
-8 \cdot 0