TeX source:
7y