Example exc-142

Prev: exc-141

Next: exc-143

A B

<math>
<apply><union/>
  <ci> A </ci>
  <ci> B </ci>
</apply>
</math>