<math> <apply><forall/> <bvar><ci>F</ci></bvar> <apply><eq/> <lambda> <bvar><ci>x</ci></bvar> <apply><ci>F</ci><ci>x</ci></apply> </lambda> <ci>F</ci> </apply> </apply> </math>