TeX source:
−8⋅7