TeX source:
6.4