TeX source:
16=a