Example exc-223

Prev: exc-222

Next: exc-224

42

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