Texto acima do símbolo de isomorfismo

Question

Ao escrever que dois objetos são isomórficos, eu uso X \cong Y.

Às vezes, porém, é necessário especificar o tipo de isomorfismo em questão. Desejo fazer isso com texto acima/abaixo do símbolo de isomorfismo, da mesma forma que se pode usar \xrightarrow{}para inserir texto acima de uma seta indicando um mapa de X a Y.

Usar X \cong_{text} Yor X \cong^{text} Ynão faz exatamente o que eu quero, porque isso me dá subscrito/sobrescrito, que são deslocados do \congsímbolo. O que eu quero é um texto que apareça diretamente acima/abaixo do símbolo de isomorfismo, como \xrightarrow.

O que posso fazer para que isso aconteça?

Answer 1

Assim?

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

\begin{document}

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

\end{document}

É possível usar \texta partir de amsmath.

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

\begin{document}

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

\end{document}