TeX source:

'80