丰富 \to^*

Question

我试图$\to^*$用$w$上面的 来丰富它，我能得到的最干净的外观是使用命令{\smash {\overset w \rightarrow}}^*。然而，我认为这是一个非常丑陋的解决方案，并且\smash还会破坏两个变量和箭头本身之间的空间（例如）$g {\smash {\overset w \rightarrow}}^* g'$。有没有更好的解决方案，不会导致w高于箭头，或者*高于箭头？

PS：如何使用数学模式或如何显示 TeX 命令？在其他 SE 网站上，您可以使用 $ $。

Answer 1

你必须放一个“幻影”箭头；这里\tostar定义为有一个可选参数，即箭头上方的字母（默认w）：

\documentclass{article}
\usepackage{amsmath}
\newcommand\tostar[1][w]{%
  \xrightarrow{#1}\mathrel{\vphantom{\to}^*}
}

\begin{document}
$a \tostar b$
\end{document}

我们利用 TeX 不会在两个关系符号之间插入空格这一事实。