TeX source:
A(3)