Example ex4-052

Prev: ex4-051

Next: ex4-053

x x 9

<math>
<apply>
  <exists/>
  <bvar><ci> x </ci></bvar>
  <apply><lt/>
    <ci> x </ci><cn> 9 </cn>
  </apply>
</apply>
</math>