TeX source:
1−8=−7