Display:

a

Source:


<apply>
     <not/>
     <ci> a </ci>
</apply>