Example exc-051

Prev: exc-050

Next: exc-052

a a 0

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