TeX source:
(0,80)