Cette question a déjà des réponses ici :
Commentaires
Réponse
Vous devez charger le amssymb package. Voici une solution possible:
\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} 
\documentclassà\end{document}. Je pense que cela peut êtreamssymbest le paquet qui fournit ce symbole, mais il ny a pas doption pour voir ce que vous avez réellement chargé.`pour marquer votre code en ligne comme je lai fait dans ma modification.