TeX source:
y = x + 3