TeX source:
A(10)