TeX source:
Y = X + 3