A patch for the label-checking code
Provides the \textsubscript command
Provides a command \Overrightarrow that is an amalgam of \overrightarrow and \Rightarrow.
Defines an internal command @removefromreset, which does the opposite of the (LaTeX internal) @addtoreset.