TeX source:
(9,32)