TeX source:

47.5