Example ex4-130

Prev: ex4-129

Next: ex4-131

a

<math>
<apply> <ceiling/>
  <ci> a </ci>
</apply>
</math>