Display:

a b

Source:


<apply>
     <eq/>
     <ci> a </ci>
     <ci> b </ci>
</apply>