TeX source:
(0,-7)