Source TeX:
x=f^{-1}(y)