在数学模式下定位 xrightarrow 的撇号

Question

一般来说，这样写是绝对没问题的$\rightarrow'$，我们会得到

然而，对于 xrightarrows，撇号的位置会很奇怪，例如将$\xrightarrow{\sigma}'$结果写在

因为 LaTeX 认为撇号属于其上方文本的箭头。所以我想知道将撇号放回到右箭头的“正常”位置是否是最佳方法？

PS 我尝试使用\mbox{$'$}，垂直位置要好得多，但它将撇号移动到右侧：

Answer 1

您可以添加一个空组来降低素数。要保留间距，您必须将 括\xrightarrow在括号中，使其成为普通符号{...}，并将结果\mathrel再次设为 。

\documentclass[a4paper,12pt]{article}

\usepackage{amsmath}
\newcommand*{\xrightarrowprime}[2][]{\mathrel{{\xrightarrow[#1]{#2}}{}'}}

\begin{document}

$a \to b$

$a\to' b$

$a \xrightarrow{\sigma} b$

$a \xrightarrowprime{\sigma} b$

$a \xrightarrowprime[x+y+z]{\sigma} b$

\end{document}