Example ex4-014

Prev: ex4-013

Next: ex4-015

x y

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