TeX source:
(3,7)