Source TeX:

x+1= y