TeX source:
6 a+b=9