TeX source:
y= -6