TeX source:
(0, 80)