Example ex4-109
Prev:
ex4-108
Next:
ex4-110
a
b
<math> <apply> <rem/> <ci> a </ci> <ci> b </ci> </apply> </math>