Example ex4-069
Prev:
ex4-068
Next:
ex4-070
a
b
<math> <reln> <eq/> <ci> a </ci> <ci> b </ci> </reln> </math>