Example ex4-070

Prev: ex4-069

Next: ex4-071

a b

<math>
<reln>
  <lt/>
  <ci> a </ci>
  <ci> b </ci>
</reln>
</math>