TeX source:
19