Display:

$A\not\subset B$

Source:

<apply>
     <notprsubset/>
     <ci> A </ci>
     <ci> B </ci>
</apply>