TeX source:
(12+1,80+7.5)