Example ex4-165

Prev: ex4-164

Next: ex4-166

a A

<math>
<apply>
  <notin/>
  <ci> a </ci>
  <ci> A </ci>
</apply>
</math>