TeX source:
8+27-25