TeX source:
18 x