Display:
A
5
Source:
<
apply
>
<
eq
/>
<
apply
>
<
card
/>
<
ci
> A </
ci
>
</
apply
>
<
ci
> 5 </
ci
>
</
apply
>