TeX source:
3.801