Source TeX:
y=0