TeX source:

x=y+2^{y}