[Tex/LaTex] Symbol Request: Poset relation with dot inside

symbols

When dealing with posets, it's common to denote the fact that some object x is smaller than some object y using the notation 

x \preceq y

An image of the symbol is given. enter image description here

However, if y is the smallest such element larger than x (we say that y "covers" x), it's common to place a dot inside of the sideways V such as in
enter image description here.

Is there a code for such a symbol? I tried drawing this in Detexify, but I had no luck.

Best Answer

If there is not any, why don't you define one?

\documentclass{article}

\usepackage{amsmath}

\newcommand\preceqdot{\mathrel{\ooalign{$\preceq$\cr
  \hidewidth\raise0.225ex\hbox{$\cdot\mkern0.5mu$}\cr}}}


\begin{document}

\[x \preceq y\], \[x \preceqdot y\]
{\large \[x \preceq y\] \[x \preceqdot y\]}
{\Large \[x \preceq y\] \[x \preceqdot y\]}
{\LARGE \[x \preceq y\] \[x \preceqdot y\]}
{\huge \[x \preceq y\] \[x \preceqdot y\]}
{\Huge \[x \preceq y\] \[x \preceqdot y\]}

\end{document}

enter image description here

Related Question