Provides a command \Overrightarrow that is an amalgam of \overrightarrow and \Rightarrow. The package is one of a collection of fragments designed for use by package writers and others.