TeX source:

11+7:7