Display:

A 5

Source:


<apply>
     <eq/>
     <apply>
          <card/>
          <ci> A </ci>
     </apply>
     <ci> 5 </ci>
</apply>