TeX source:

4.816