Example exc-150
Prev:
exc-149
Next:
exc-151
A
B
<math> <apply><setdiff/> <ci type="set"> A </ci> <ci type="set"> B </ci> </apply> </math>