<math> <apply><forall/> <bvar><ci>a</ci></bvar> <apply><eq/> <apply><divide/><ci> a </ci><ci> 0 </ci> <notanumber/> </apply> </apply> </apply> </math>