<math> <apply><eq/> <apply><compose/> <ci type="function"> f </ci> <apply><inverse/><ci type="function"> f </ci> </apply> </apply> <ident/> </apply> </math>