TeX source:
(3, 7)