Example ex4-209
Prev:
ex4-208
Next:
ex4-210
22
7
<math> <apply> <in/> <cn type="rational"> 22 <sep/>7</cn> <rationals/> </apply> </math>