TeX source:
5+2 = 7