TeX source:
A(3)-A(1)