如何水平/垂直组合两个数学符号？

Question

这绝对是一个小问题/表面问题。例如，我可以使用stackrel这样垂直组合两个数学符号。这对于来说很好。但是如何水平地做到这一点？我想组合（仅一次，不需要新命令）冒号和等价符号。我找到了允许不同版本的\stackrel{!}{=}选项，例如：\mathrel{: \equiv}

:\equiv  \quad \mathrel{: \equiv} \quad \mathrel{: \!\! \equiv} \quad \mathrel{: \!\! \!\! \!\! \equiv}

所以我可以移动水平位置。但要实现的是，冒号在垂直位置居中。就像蓝色版本一样：

再说一遍：如果我使用stackrelis 会垂直合并两个符号并使其居中！如果我使用mathrelis 会水平合并两个符号但不知为何不使其居中。

我迫切希望看到您的解决方案。

Answer 1

全新更新：

% arara: pdflatex

\documentclass{article}
\usepackage{mathtools}
\AtBeginDocument{\providecommand*\colonequiv{\vcentcolon\mspace{-1.2mu}\equiv}}

\begin{document}
\[A\colonequiv B\]
%\[A\coloneqq B\] % for prove of consistency 
%\[A\coloneq B\]
\end{document}

---

旧版（我相信，误解了）：

虽然有点黑客行为，但确实有效：

% arara: pdflatex

\documentclass{article}
\usepackage{mathtools}
\usepackage{calc}

\begin{document}
\[A\mathrel{\mathmakebox[\widthof{$\equiv$}]{\mathclap{:}\mathclap{\equiv}}}B\]
\end{document}

如果您还想让它垂直居中，您可能需要这样做\mathclap{\raisebox{.34pt}{:}}。两个符号确实具有相同的高度（指其周围的框），但它们设计在不同的高度水平上。因此，我看不到“软编码”居中的解决方案。

---

您不需要为此创建一个命令，但由于它太长，如果多次使用，我建议您编写一个命令。