TeX source:
1,200+a=2,000