<math> <apply><forall/> <bvar><ci>x</ci></bvar> <apply><leq/> <apply><floor/> <ci>x</ci> </apply> <ci>x</ci> </apply> </apply> </math>