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