TeX source:
–7