TeX source:
(-7)-(-8)=