TeX source:
7x