TeX source:
52.8