Source TeX:
y = x+3