Example ex4-015
Prev:
ex4-014
Next:
ex4-016
x
y
<math> <apply> <lt/> <ci> x </ci> <ci> y </ci> </apply> </math>