适当正规子群的符号

Question

有没有什么简单的方法可以将不等号放在任何二进制运算符号上，例如\triangleright等。

例如，我想将其用于适当的正规子群。

如果找到了一个解决方案\lhd但它并不那么简单（真理想的符号（\unlhd + \lneq））

Answer 1

您可以在以下amssymb版本和借用的变体之间进行选择mathabx：

\documentclass{article}
\usepackage{amssymb}

\DeclareFontFamily{U}{matha}{\hyphenchar\font45}
\DeclareFontShape{U}{matha}{m}{n}{ <-6> matha5 <6-7> matha6 <7-8>
matha7 <8-9> matha8 <9-10> matha9 <10-12> matha10 <12-> matha12 }{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}
%
\DeclareMathSymbol{\nvartrianglelefteq}{\mathrel}{matha}{"9E}
\DeclareMathSymbol{\vartrianglelefteq}{\mathrel}{matha}{"9C}

\begin{document}

    \[ H \nvartrianglelefteq G \qquad H \vartrianglelefteq G\]

    \[ H \ntrianglelefteq G \qquad H \trianglelefteq G \]

\end{document}

Answer 2

一般简单的方法是使用包\underset中的amsmath

\underset{\neq}{\triangleleft}

然而，它会给你一个相当笨重的符号，你不会想在运行的文本中使用它。

\documentclass{article}

\usepackage{amsmath,amssymb}

\begin{document}

\begin{equation*}
  H \triangleleft G \qquad
  H \underset{\neq}{\triangleleft} G
\end{equation*}
In text we say \( H \triangleleft G \) and \( H\ne G \).

\end{document}