Example exc-144
Prev:
exc-143
Next:
exc-145
a
A
<math> <apply><in/> <ci> a </ci> <ci type="set"> A </ci> </apply> </math>