TeX source:
-5=a(5)(1)