TeX source:
-4 \cdot x+0