TeX source:

'87