在二元运算符的左上方放置一个点

Question

如何在二元运算符的左上方放置一个点？

我知道要在二元运算符上方放置一个点，我可以这样做：

\dot{\sqsubseteq}

但这会将点恰好放置在操作员的中心上方。

我尝试了这个（在黑暗中刺杀！）：

\ldot {\sqsubseteq}

我认为它可能意味着“左上角的点”，但它不起作用。

Answer 1

这也许能满足您的需要。

\documentclass{article}
\usepackage{amsmath}
\makeatletter
\newcommand\ldot[1]{\mathpalette\@ldot{#1}}
\newcommand\@ldot[2]{%
  \binrel@{#2}\binrel@@{%
    \ooalign{%
      $\m@th#1#2$\cr
      $\m@th#1\dot{\vphantom{#1#2}}$\hidewidth\cr
    }%
  }%
}
\makeatother
\begin{document}
\[a \ldot{\subseteq} b\]
\end{document}

Answer 2

堆叠它！这里给出为\dotbin{}。

\documentclass{article}
\usepackage{stackengine}
\newcommand\dotbin[1]{%
  \mathbin{\ensurestackMath{\stackengine{1pt}{\,#1}{.}{O}{l}{F}{F}{S}}}%
}
\begin{document}
\begin{equation}
A \sqsubseteq B \dotbin{\sqsubseteq} C
\end{equation}
\end{document}

如果您需要更小的数学尺寸，请告诉我，我会补充答案。

Answer 3

这是一个可能的解决方案：

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

\newcommand{\ldotsqsubseteq}{%
  \mathrel{%
    \mspace{2.5mu}%
    \dot{\vphantom{\sqsubseteq}}%
    \mspace{-2.5mu}%
  }%
  \sqsubseteq
}

\begin{document}

$A \ldotsqsubseteq B$

$A \sqsubseteq B$

\end{document}

Answer 4

假设您确实希望将点放在 的左边\subseteq，那么这样做就可以了。显然，所示的表达式是无意义的，但应该可以证明大小会随着位置而适当变化，而无需诉诸\mathpalette或其他明确的大小调整技术。

\documentclass{article}
\usepackage{amsmath}

\newcommand{\dotsseq}{\mathrel{\dot{\vphantom{t}}{\subseteq}}}

\begin{document}
\[ a \dotsseq b \int_{c\dotsseq e} x \]
\end{document}