Example exc-139

Prev: exc-138

Next: exc-140

x x 5

<math>
<set>
  <bvar><ci> x </ci></bvar>
  <condition>
    <apply><lt/>
      <ci> x </ci>
      <cn> 5 </cn>
    </apply>
  </condition>
</set>
</math>