我们都喜欢正规子群，在网上搜索我的问题的答案时，我发现了大量资源来表示正规子群。但这不是我要找的。当有人想说$H$ is a subgroup of $G$（不一定是正规子群，正规状态未知）时，用于该目的的符号是什么？每个人都只使用小于\lt符号吗？可以简单地使用反斜杠符号表示 setminus，但我敢打赌，为了在数学软件之间移动方程式而自动读取 LaTeX 的解析器可能会处理得\setminus更好。本着类似的精神，有没有表示非正规子群的 LaTeX 符号？
编辑以澄清： 我并不是在寻找如何表达“不是正规子群”，也就是说，我并不是在寻找一个被划掉的正规子群符号，或者在正规子群符号前面有一个“非”符号。我在寻找一个不以任何方式引用“正规性”的标准子群符号。
答案1
经过一番搜索后\leqslant，我找到了解决办法。
答案2
到目前为止的所有输入似乎表明不，子群没有默认或标准代码，人们使用某些版本的不等式符号：<，，\le等等。