Example ex4-169
Prev:
ex4-168
Next:
ex4-170
A
B
<math> <apply> <notprsubset/> <ci> A </ci> <ci> B </ci> </apply> </math>