Tienes que cargar el amssymb
paquete. Aquí hay una posible solución:
\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}