☰

AMSMath \implies 和上标符号

tag-icon • tag-icon amsmath
AMSMath \implies 和上标符号

我想要一个上标符号附加到暗示箭头，即类似的东西

\[ \implies^f \]

但是，这不起作用。这里也有一个类似的问题：问题

但只是箭头上方的文字。所以这不能解决我的问题。有人知道如何解决这个问题吗？我希望箭头长度与 AMSMath 所暗示的箭头长度相同。

答案1

的定义\implies是

% amsmath.sty, line 308:
\newcommand{\implies}{\DOTSB\;\Longrightarrow\;}

这意味着您要在粗空格后设置上标。

我的建议是定义一个新命令

\documentclass{article}
\usepackage{amsmath}

\newcommand{\simplies}{\DOTSB\Longrightarrow}

\begin{document}

\begin{align*}
& a \simplies^f b \\
& a \implies b \\
& a \implies^f b
\end{align*}

\end{document}

周围的间距\implies太大了。第二行和第三行只是为了比较。

在此处输入图片描述

如果您想要保留的间距\implies，您别无选择，只能\simplies用参数定义；可能是可选的，因此您可以使用它\simplies作为的替代品\implies：

\newcommand{\simplies}[1][]{\DOTSB\;\implies^{#1}\;}

上述公式应输入为

a \simplies[f] b

相关内容