TeX source:
6.5