Example exc-083

Prev: exc-082

Next: exc-084

a b

<math>
<apply>
<or/>
<ci> a </ci>
<ci> b </ci>
</apply>
</math>