我如何绘制标记的 \cong 符号？

Question

我想输入一些类似于下图的内容。但我不太清楚如何标记\cong。

Answer 1

该包amsmath提供了一个宏\overset，其工作方式类似于 LaTeX，\stackrel但更通用（\stackrel只需要二元关系，\overset适用于所有内容）。

\documentclass{article}

\usepackage{amsmath}

\begin{document}

$A \overset{\varphi}{\cong} B$

\end{document}

Answer 2

这里，我选择添加\varphiin \scriptscriptstyle，但也可以将其更改为\scriptstyle以适应。我还选择了 1pt 堆叠间隙，也可以更改为以适应。

如果想防止过大的堆叠干扰的自然间距，则可以在事件发生之前\cong调用，如第二个示例所示。\def\useanchorwidth{T}

\documentclass{article}
\usepackage{amsmath,stackengine}
\stackMath
\begin{document}
\[
A \mathrel{\stackon[1pt]{\cong}{\scriptscriptstyle\varphi}} B
\]
\[
\def\useanchorwidth{T}
A \mathrel{\stackon[1pt]{\cong}{\scriptscriptstyle xyz}} B
\]
\[
A \cong B
\]
\end{document}

当然，这可以表述为一个宏

\newcommand\overcong[1][]{%
  \mathrel{\stackengine{1pt}{\cong}{\scriptscriptstyle #1}{O}{c}{F}{T}{S}}
}

与用法A \overcong[xyz] B。