TeX source:

b^y=x