TeX source:
5+2=7