<math> <apply> <exists/> <bvar><ci> x </ci></bvar> <condition> <apply><lt/><ci>x</ci><cn>3</cn></apply> </condition> <apply> <eq/> <apply> <power/><ci>x</ci><cn>2</cn> </apply> <cn>4</cn> </apply> </apply> </math>