In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2192 (RIGHTWARDS ARROW).
Normalize rightarrow to the shorter to arrow character for corpus form.
\rightarrow \to\to\rightarrow\longrightarrow\mapsto\xrightarrow\Rightarrow\Leftrightarrow\leftarrow\longmapsto\hookrightarrow\Longrightarrow\implies