TeX source:
a+b=12