TeX source:
(1,7)