% This is overrightarrow.sty, It provides for a command: % \Overrightarrow which is somewhat like \overrightarrow and somewhat % like \Rightarrow. Also a couple of helper commands. % This file is public domain. % James Kilfiger mapdn@csv.warwick.ac.uk % \newcommand\reldoublebar{\mathrel{\smash=}} \newcommand{\Rightarrowfill@}[1]{% \m@th \setboxz@h {$#1\reldoublebar $}\ht \z@ \z@ $#1\copy \z@ \mkern -6mu\cleaders \hbox {$#1\mkern -2mu\box \z@ \mkern -2mu$}\hfill \mkern -6mu \mathord \Rightarrow $} \newcommand{\Overrightarrow}{\mathpalette{\overarrow@\Rightarrowfill@}}