Display:

$\neg a$

Source:

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