我正在尝试用 Latex 重现此文本
在左侧您可以看到我现在可以使用以下 LaTeX 代码实现的功能：
\polyring{\mathbb R}{x}_{/\ideal{x^2+1}}\mathrel{\mathop{\rightleftarrows}^{\mathrm{\alpha}}_{\mathrm{\beta}}} \mathbb C
其中\polyring和\ideal定义如下：
\newcommand{\polyring}[2]{\ensuremath{#1\big[#2\big]}}
\newcommand{\ideal}[1]{\ensuremath{\langle #1\rangle}}
相反，右边是我想要实现的结果。我找不到任何能满足我需求的东西。TIA。
答案1
中不存在这样的双箭头amsmath，但是extpfeil包中提供了一个名为 的双箭头\xtofrom[under]{above}。
我擅自用来自的命令重新定义了您的\ideal命令\DeclarePairedDelimiter。mathtools最后，希腊字母的 mathrm 版本不存在（除非您使用fourier定义它们的字体），但您有upgreek包。
\documentclass{article}
\usepackage{mathtools, amssymb}
\usepackage{extpfeil, upgreek}
\DeclarePairedDelimiter{\ideal}\langle \rangle
\newcommand{\polyring}[2]{\ensuremath{#1\big[#2\big]}}
\begin{document}
\[ \polyring{\mathbb R}{x}_{/\ideal{x^2+1}}\xtofrom[\upbeta] {\enspace \upalpha\enspace }\mathbb C \]%
\end{document}
编辑：
另一种可能性是tikz-cd：
\[ \begin{tikzcd}[column sep=large]
\polyring{\mathbb R}{x}_{/\ideal{x^2+1}}\rar["\upalpha", shift left] & \mathbb C \lar["\upbeta", shift left]
\end{tikzcd} \]
