内部にドットがある$\lhd$

Question

$\lessdot$ と同様に、内部にドットがある $\lhd$ という新しいシンボルを作成したいと思います。

私はこの質問のいくつかの提案に従おうとしました:水平方向は \raisebox に相当しますか?

例えば\newcommand{\lhdot}[0]{\adjustbox{lap={\width}{0.em}}{$\cdot$}\lhd}

しかし、ドットの配置は本当に奇妙です。

どのようなアイデアでも歓迎します!

Answer 1

\lhdおそらく、二項演算子であり関係ではないと分類される ではなく、を使用することになるでしょう\vartriangleleft。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\makeatletter
\DeclareRobustCommand{\dotvartriangleleft}{%
  \mathrel{%
    \vphantom{\vartriangleleft}%
    \mathpalette\dot@vartriangle{{\vartriangleleft}{5mu}}%
  }%
}
\DeclareRobustCommand{\dotvartriangleright}{%
  \mathrel{%
    \vphantom{\vartriangleleft}%
    \mathpalette\dot@vartriangle{{\vartriangleright}{-5mu}}%
  }%
}
\newcommand{\dot@vartriangle}[2]{%
  \dot@@vartriangle#1#2%
}
\newcommand{\dot@@vartriangle}[3]{%
  \ooalign{$\m@th#1#2$\cr\hidewidth$\m@th#1\mkern#3{\cdot}$\hidewidth\cr}%
}
\makeatother

\begin{document}

$a\vartriangleleft b\dotvartriangleleft c$

$a\vartriangleright b\dotvartriangleright c$

$\scriptstyle\dotvartriangleleft\dotvartriangleright$

\end{document}

Answer 2

スタックを使用して、数学スタイルに準拠するように作成しました。

\documentclass{article}
\usepackage{amsmath, amssymb,stackengine,scalerel}
\newcommand*{\lhdot}{\mathbin{\ThisStyle{\ensurestackMath{%
  \stackinset{c}{\dimexpr.8pt+.2\LMpt}{c}{\dimexpr.2pt-.5\LMpt}%
  {\SavedStyle\cdot}{\SavedStyle\lhd}}}}}
\begin{document}
\(a \lhd b\)

\(a \lhdot b~
\scriptstyle a \lhdot b~
\scriptscriptstyle a \lhdot b\)
\end{document}

Answer 3

簡単な解決策は、\lessdotの上にそれ自体を積み重ねることです\lhd。

\documentclass{article}
\usepackage{amsmath, amssymb}
\newcommand*{\lhdot}{\mathbin{\ooalign{$\lhd$\cr$\lessdot$}}}
\begin{document}
\(a \lhd b\)

\(a \lhdot b\)
\end{document}