TeX source:
(7,0)