TeX source:
(4, 17)