TeX source:
(5.77,8.17)