TeX source:
(4,7)