TeX source:
(7, \, 10)