如何获取这个关于正常群的符号？

Question

一般输入正常组使用$\unlhd$或$\trianglelefteq$，

我想获取 LaTeX 中的两个符号：

（我看到P.Grillet。“抽象代数”。第二版, GTM242)

它就像另一个符号$\leqq$和$\lneqq$，我希望知道如何获得我希望它们看起来像在$\leqq$或上添加一条垂直线$\lneqq$，以便大小相对接近$\leqq$或$\lneqq$。

我想知道如何以简单的方式获取这两个符号。

Answer 1

像这样（如果您想修改符号的垂直位置，只需更改\lower内部参数\triaeq和\triaNeq命令）。

\documentclass{article}
\usepackage{amssymb}


\setbox0=\hbox{\vbox{\offinterlineskip\hbox{$\vartriangleleft$}\vskip0.2ex\hbox{$=$}}}

\setbox1=\hbox{\vbox {\offinterlineskip\hbox{$\vartriangleleft$}\vskip0.2ex\hbox{$\neq$}}}

\def\triaeq{\lower 0.3\ht0\copy0}
\def\triaNeq{\lower 0.3\ht1\copy1}

\begin{document}

text text text \\
text $\triaeq$ text $\triaNeq$ text

\end{document}

更新

\documentclass[margin=5mm]{standalone}
\usepackage{amssymb}
\usepackage{MnSymbol}

\newbox{\boxA}
\newbox{\boxB}


\setbox\boxA\hbox{\vbox{\offinterlineskip\hbox{$\vartriangleleft$}\vskip0.15ex\hbox{$=$}}}

\setbox\boxB\hbox{\vbox {\offinterlineskip\hbox{$\vartriangleleft$}\vskip-0.3ex\hbox{$\nequal$}}}

\def\triaeq{\lower0.3\ht\boxA\copy\boxA}
\def\triaNeq{\lower0.3\ht\boxB\copy\boxB}

\begin{document}

-- $\leqq$ \qquad  $\lneqq$ \qquad $\triaeq$ \qquad $\triaNeq$ --

\end{document}