Display:

$a\notin A$

Source:

<apply>
     <notin/>
     <ci> a </ci>
     <ci> A </ci>
</apply>