TeX source:
f^{-1}(f(a))=a