Example exc-151
Prev:
exc-150
Next:
exc-152
A
5
<math> <apply><eq/> <apply><card/><ci> A </ci></apply> <ci> 5 </ci> </apply> </math>