的定义\implies
是
\DOTSB \;\Longrightarrow \;
并且在 中使用f_\implies
会产生错误。但f_{\implies}
由于添加了空格,因此即使使用 也会出错。
\documentclass{article}
\usepackage{amsmath}
\begin{document}
%$f_\implies$ % produces errors
$f_{\implies}$
$f_{\Longrightarrow}$
$f_{\Rightarrow}$
\end{document}
任你挑选吧;我更喜欢最后一个。