TeX source:
A_0=10