TeX source:
2^x=y