Example exc-148
Prev:
exc-147
Next:
exc-149
A
B
<math> <apply><notsubset/> <ci type="set"> A </ci> <ci type="set"> B </ci> </apply> </math>