带有帽子或楔形的等号的对应符号是什么？

Question

我想要生成一个看起来像这样的新等号。 。

最好的方法是什么？纯 TeX？TiKz？

我正在寻找实现这一目标的方法，而不是寻找一个可以单独使用其他新符号的现成解决方案。

Answer 1

在有人建议之前MnSymbol……

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\providecommand{\hateq}{\mathrel{\mathpalette\my@hat@eq\relax}}
\newcommand{\my@hat@eq}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1=$}%
  \ooalign{%
    \hidewidth\raisebox{-0.3\ht\z@}{$\m@th#1\widehat{}$}\hidewidth\cr
    \box\z@\cr
  }%
  \endgroup
}
\makeatother

\begin{document}

$A\cong B\hateq C$                           

\end{document}

用\hat代替\widehat：

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\providecommand{\hateq}{\mathrel{\mathpalette\my@hat@eq\relax}}
\newcommand{\my@hat@eq}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1=$}%
  \ooalign{%
    \hidewidth\raisebox{-0.2\ht\z@}{$\m@th#1\hat{}$}\hidewidth\cr
    \box\z@\cr
  }%
  \endgroup
}
\makeatother

\begin{document}

$A\cong B\hateq C$

\end{document}

Answer 2

你想要的可以通过以下方式获得

\documentclass[12pt]{article}
\usepackage{amsmath}
\newcommand{\circumeq}{\mathrel{\widehat{=}}}
\begin{document}
\begin{equation*}
a \circumeq b
\end{equation*}
\end{document} 

Answer 3

≙ 符号在 Unicode 中的编码为 U+2259。它\wedgeq在几个较新的软件包中都有这个名称，包括unicode-math和stix。它\hateq在两个较旧的软件包中都有，mnsymbol和fdsymbol。一个完全过时的软件包boisik有\corresponds。

编辑：抱歉，我刚注意到 Barbara Beeton 首先在评论中说了这句话。谢谢！