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