TeX source:
(0,7)