Example exc-102
Prev:
exc-101
Next:
exc-103
a
<math> <apply> <ceiling/> <ci> a </ci> </apply> </math>