Example exc-084

Prev: exc-083

Next: exc-085

a b

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