TeX source:
y+4=3