Wie erhält man dieses Symbol für die normale Gruppe?

Question

Allgemeine Eingabe normale Gruppenverwendung $\unlhd$oder $\trianglelefteq$,

Ich möchte die beiden Symbole in LaTeX erhalten:

(Ich sehe es beiP. Grillet. „Abstrakte Algebra“. 2. Aufl., GTM242)

Es ist wie ein anderes Symbol $\leqq$und $\lneqq$, und ich hoffe, ich weiß, wie man es hinbekommt. Ich hoffe, es sieht so aus, als würde man $\leqq$oder eine vertikale Linie hinzufügen $\lneqq$, sodass die Größe relativ nahe an $\leqq$oder liegt $\lneqq$.

Ich möchte wissen, wie ich diese beiden Symbole auf einfache Weise erhalte.

Answer 1

So (wenn Sie die vertikale Position von Symbolen ändern möchten, ändern Sie einfach die Parameter für „ \lowerInnen“ \triaeqund \triaNeq„Befehle“).

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

Aktualisieren

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