TeX source:

9.42