TeX source:
–9