TeX source:
A=15