TeX source:
18:7