TeX source:

8.5