Questa domanda ha già una risposta qui :
Commenti
Risposta
Devi caricare amssymb pacchetto. Ecco una possibile soluzione:
\documentclass{article} \usepackage{amssymb} \begin{document} Type ``\verb|$A \subsetneq B$|"" to get ``$A \subsetneq B$"". Type ``\verb|$A \subsetneqq B$|"" to get ``$A \subsetneqq B$"". \end{document} 
\documentclassa\end{document}. Penso che potrebbe essereamssymbè il pacchetto che fornisce quel simbolo, ma non cè alcuna opzione per vedere cosa hai effettivamente caricato.`per contrassegnare il tuo codice inline come ho fatto nella mia modifica.