Example ex4-054
Prev:
ex4-053
Next:
ex4-055
a
b
<math> <apply> <lt/> <ci>a</ci> <ci>b</ci> </apply> </math>