Example exc-085
Prev:
exc-084
Next:
exc-086
a
<math> <apply> <not/> <ci> a </ci> </apply> </math>