Example exc-227
Prev:
exc-226
Next:
exc-228
22
7
<math> <apply><in/> <cn type="rational"> 22 <sep/>7</cn> <rationals/> </apply> </math>