Musisz załadować amssymb pakiet. Oto możliwe rozwiązanie:
\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}
