<math> <apply><forall/><bvar><ci>x</ci></bvar> <condition><apply><in/><ci>x</ci><reals/></apply></condition> <apply><eq/><apply><minus/><ci>x</ci><ci>x</ci></apply><cn>0</cn></apply> </apply> </math>