Example exc-058

Prev: exc-057

Next: exc-059

x x x 0

<math>
<apply><forall/>
  <bvar><ci> x </ci></bvar>
  <apply><eq/>
    <apply><minus/><ci> x </ci><ci> x </ci></apply>
    <cn>0</cn>
  </apply>
</apply>
</math>