TeX source:
18.84