Example exc-102

Prev: exc-101

Next: exc-103

a

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