TeX source:
5+12