Example ex4-140
Prev:
ex4-139
Next:
ex4-141
a
b
<math> <apply> <factorof/> <ci> a </ci> <ci> b </ci> </apply> </math>