TeX source:
11+6=