Example exc-111

Prev: exc-110

Next: exc-112

a a

<math>
<apply><equivalent/>
  <ci>a</ci>
  <apply><not/>
    <apply><not/><ci>a</ci></apply>
  </apply>
</apply>
</math>