TeX source:
(9,4.394)