Source TeX:
7 \times (-6) = -42