TeX source:
y=f(x) \Leftrightarrow x = f^{-1}(y).