TeX source:
(-7.5, 0)