TeX source:
-4 \cdot (-1)+0