TeX source:
= -8 + 70