¿Cómo obtener este símbolo sobre el grupo normal?

Question

Entrada general uso normal del grupo $\unlhd$o $\trianglelefteq$,

Quiero obtener los dos símbolos en LaTeX:

(lo veo enP. Grillet. "Álgebra abstracta". 2da edición, GTM242)

Es como otro símbolo $\leqq$y $\lneqq$, y espero saber cómo conseguirlo. Espero que parezca agregar una línea vertical a $\leqq$o $\lneqq$, de modo que el tamaño sea relativamente cercano a $\leqq$o $\lneqq$.

Quiero saber como obtener estos dos símbolos de forma sencilla.

Answer 1

De esta manera (si desea modificar la posición vertical de los símbolos, simplemente cambie el parámetro \lowerinterior \triaeqy \triaNeqlos comandos).

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

Actualizar

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