Example exc-084
Prev:
exc-083
Next:
exc-085
a
b
<math> <apply> <xor/> <ci> a </ci> <ci> b </ci> </apply> </math>