Example ex4-165
Prev:
ex4-164
Next:
ex4-166
a
A
<math> <apply> <notin/> <ci> a </ci> <ci> A </ci> </apply> </math>