Example ex4-164
Prev:
ex4-163
Next:
ex4-165
a
A
<math> <apply> <in/> <ci> a </ci> <ci type="set"> A </ci> </apply> </math>