同型記号の上のテキスト

Question

2 つのオブジェクトが同型であることを記述する場合、 を使用します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}