TeX source:
A1