Source TeX:
-4\times 3 = -12