TeX source:
(4, 7)