Example ex4-130
Prev:
ex4-129
Next:
ex4-131
a
<math> <apply> <ceiling/> <ci> a </ci> </apply> </math>