Example ex4-115

Prev: ex4-114

Next: ex4-116

a b

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