Texto sobre el símbolo de isomorfismo

Question

Cuando escribo que dos objetos son isomórficos, uso X \cong Y.

A veces, sin embargo, es necesario especificar el tipo de isomorfismo en cuestión. Deseo hacer esto con el texto encima/debajo del símbolo de isomorfismo, de la misma manera que se puede usar \xrightarrow{}para insertar texto encima de una flecha que indica un mapa de X a Y.

Usar X \cong_{text} Yor X \cong^{text} Yno hace exactamente lo que quiero, porque esto me da subíndice/superíndice, que están compensados ​​del \congsímbolo. Lo que quiero es texto que aparezca directamente encima/debajo del símbolo de isomorfismo, como \xrightarrow.

¿Qué puedo hacer para que eso suceda?

Answer 1

¿Como esto?

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

\begin{document}

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

\end{document}

Es posible utilizar \textdesde amsmath.

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

\begin{document}

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

\end{document}