Como obter este símbolo sobre o grupo normal?

Question

Entrada geral uso normal do grupo $\unlhd$ou $\trianglelefteq$,

Quero obter os dois símbolos em LaTeX:

(eu vejo isso emP.Grillet. "Álgebra Abstrata". 2ª edição, GTM242)

É como outro símbolo $\leqq$e $\lneqq$, e espero saber como obtê-los. Espero que pareça adicionar uma linha vertical a $\leqq$ou $\lneqq$, para que o tamanho fique relativamente próximo de $\leqq$ou $\lneqq$.

Quero saber como obter esses dois símbolos de forma simples.

Answer 1

Assim (se você quiser modificar a posição vertical dos símbolos basta alterar os parâmetros para \lowerdentro \triaeqe \triaNeqcomandos).

\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}

Atualizar

\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}