Example exc-068

Prev: exc-067

Next: exc-069

a a1 a

<math>
<apply><forall/>
  <bvar><ci>a</ci></bvar>
  <apply><eq/>
    <apply><power/><ci>a</ci><cn>1</cn></apply>
    <ci>a</ci>
  </apply>
</apply>
</math>