Example ex4-207
Prev:
ex4-206
Next:
ex4-208
42
<math> <apply> <in/> <cn type="integer"> 42 </cn> <integers/> </apply> </math>