TeX source:
4, 87