Example exc-221
Prev:
exc-220
Next:
exc-222
0
<math> <apply><in/><cn>0</cn><integers/></apply> </math>