TeX source:
2+5 = 7