TeX source:
-6-1=-7