TeX source:

a^x=y