TeX source:
(y=0)