TeX source:
6.28