Как получить этот символ для нормальной группы?

Question

Общий вход нормальное групповое использование $\unlhd$или $\trianglelefteq$,

Я хочу получить два символа в LaTeX:

(Я вижу это вП.Грийе. «Абстрактная алгебра». 2-е изд., ГТМ242)

Это похоже на еще один символ $\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}