Example ex4-138

Prev: ex4-137

Next: ex4-139

a a

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