TeX source:
(10,7)