Source TeX:
y = 0