Текст над символом изоморфизма

Question

Когда я пишу, что два объекта изоморфны, я использую X \cong Y.

Однако иногда необходимо указать тип рассматриваемого изоморфизма. Я хочу сделать это с текстом выше/ниже символа изоморфизма, примерно так же, как можно \xrightarrow{}вставить текст над стрелкой, указывающей на карту из X в Y.

Использование X \cong_{text} Yor 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}