TeX source:
(7.5, 2)