定义新的数学关系

Question

在群论中，群的$p$-正规嵌入子群用 表示。我想定义一个新的命令，用于数学环境，但我不知道该怎么做$H$$G$$H$ $p$-ne $G$$p$-ne

Answer 1

像这样？

\documentclass{article}
\usepackage{amsmath}

\newcommand{\pne}{\mathrel{p\mkern1mu\textrm{-ne}}}

\begin{document}

    \[ H \pne G\]%

\end{document}