<math> <apply><exists/> <bvar><ci>x</ci></bvar> <apply><eq/> <apply><ci>f</ci> <ci>x</ci> </apply> <cn>0</cn> </apply> </apply> </math>