Example ex4-015

Prev: ex4-014

Next: ex4-016

x y

<math>
<apply>
  <lt/>
  <ci> x </ci>
  <ci> y </ci>
</apply>
</math>