TeX source:
(11+7):7