Display:

$a\equiv \neg \neg a$

Source:

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