TeX source:
(8,5)