Example ex4-169

Prev: ex4-168

Next: ex4-170

A B

<math>
<apply>
  <notprsubset/>
  <ci> A </ci>
  <ci> B </ci>
</apply>
</math>