通常のグループに関するこのシンボルを取得するにはどうすればよいでしょうか?

Question

一般入力通常グループ使用$\unlhd$または$\trianglelefteq$、

LaTeX で次の 2 つのシンボルを取得したいです。

（私はP.グリレット「抽象代数」第2版、GTM242)

これは別のシンボル および のようなもの$\leqq$で、またはに垂直線を追加して、サイズがまたはに比較的近くなるよう$\lneqq$にする方法を知りたいと思います。$\leqq$$\lneqq$$\leqq$$\lneqq$

これら 2 つのシンボルを簡単な方法で取得する方法を知りたいです。

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}