Display:

a A

Source:


<apply>
     <in/>
     <ci> a </ci>
     <ci type="set"> A </ci>
</apply>