Example ex4-116

Prev: ex4-115

Next: ex4-117

a

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