TeX source:
(9, \, 17)