TeX source:
-8=-5-p