Source TeX:
y=1