Example ex4-054

Prev: ex4-053

Next: ex4-055

a b

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