TeX source:

8.33