TeX source:
6 .