如何插入“X 是 Y 的子集，但不等于 Y”符号？

Question

如何插入“X 是 Y 的子集，但不等于 Y”符号？我尝试使用$\subsetneq$，如$X \subsetneq Y$，但这会产生错误消息：

Undefined control sequence.

使用没有问题$\subseteq$。

代码：

\title{Subset-Not-Equal-To}
\author{}
\date{}

\documentclass[8pt]{article}

\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}

\begin{document}
\maketitle

$X \subsetneq Y$
\end{document}

Answer 1

您必须加载该amssymb包。以下是一个可能的解决方案：

\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}