TeX source:

4+5+6