Example exc-149

Prev: exc-148

Next: exc-150

A B

<math>
<apply><notprsubset/>
  <ci type="set"> A </ci>
  <ci type="set"> B </ci>
</apply>
</math>