
Когда я пишу, что два объекта изоморфны, я использую X \cong Y
.
Однако иногда необходимо указать тип рассматриваемого изоморфизма. Я хочу сделать это с текстом выше/ниже символа изоморфизма, примерно так же, как можно \xrightarrow{}
вставить текст над стрелкой, указывающей на карту из X в Y.
Использование X \cong_{text} Y
or X \cong^{text} Y
не делает ровно то, что я хочу, потому что это дает мне нижний/верхний индекс, которые смещены от символа \cong
. Мне нужен текст, который появляется непосредственно над/под символом изоморфизма, например \xrightarrow
.
Что я могу сделать, чтобы это произошло?
решение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}