Example exc-086
Prev:
exc-085
Next:
exc-087
A
B
<math> <apply> <implies/> <ci> A </ci> <ci> B </ci> </apply> </math>