TeX source:
2 x+3=7