Example exc-113
Prev:
exc-112
Next:
exc-114
a
b
<math> <apply><factorof/> <ci> a </ci> <ci> b </ci> </apply> </math>