TeX source:
f\left(f^{-1}(x)\right)=x