TeX source:
(-5)\times 1=-5