如何得到正常組的這個符號？

Question

一般輸入正常組使用$\unlhd$或$\trianglelefteq$,

我想得到LaTeX中的兩個符號：

（我看到它在P·格里耶特. 《抽象代數》。第二版、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}