TeX source:

5.75