TeX source:

−8p+80