TeX source:
(5, \, 0)