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>