TeX source:
3a