Fuente TeX:
\stackrel{*}{\Longrightarrow}