overrightarrow – Doubled "over" arrow
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.
|Licenses||Public Domain Software|
Download the contents of this package in one zip archive (2.6k).