Example exc-223
Prev:
exc-222
Next:
exc-224
42
<math> <apply><in/> <cn type="integer"> 42 </cn> <integers/> </apply> </math>