TeX source:
y = {x+4}