TeX source:
(12,5)