Example ex4-207

Prev: ex4-206

Next: ex4-208

42

<math>
<apply>
  <in/>
  <cn type="integer"> 42 </cn>
  <integers/>
</apply>
</math>