同构符号上方的文字

Question

当写两个对象是同构的时，我使用X \cong Y。

但有时，需要指定所讨论的同构类型。我希望使用同构符号上方/下方的文本来实现这一点，就像人们可以在\xrightarrow{}表示从 X 到 Y 的映射的箭头上方插入文本一样。

使用X \cong_{text} Y或X \cong^{text} Y并不能完全满足我的要求，因为这会给出下标/上标，它们与\cong符号有偏移。我想要的是直接出现在同构符号上方/下方的文本，例如\xrightarrow。

我能做什么来实现这个目标？

Answer 1

像这样？

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}

\begin{document}

$A\overset{a}{\cong}B, c\underset{b}{\cong}D$

\end{document}

可以\text从使用amsmath。

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}

\begin{document}

$A\overset{\text{over}}{\cong}B, c\underset{\text{under}}{\cong}D$

\end{document}