TeX source:
(5, \,0)