Example ex4-116
Prev:
ex4-115
Next:
ex4-117
a
<math> <apply> <not/> <ci> a </ci> </apply> </math>