Example exc-104
Prev:
exc-103
Next:
exc-105
A
B
<math> <apply><eq/><ci type="set">A</ci><ci type="set">B</ci></apply> </math>