TeX source:
−32