如何使 \xrightleftarrows 和 \xleftrightarrows 更长？

Question

我正在尝试用 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。

Answer 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} \]