TeX source:
=−8 \times -17