In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+21BE (UPWARDS HARPOON WITH BARB RIGHTWARDS).
Normalize restriction to upharpoonright for corpus form.
\restriction \upharpoonright\to\rightarrow\longrightarrow\mapsto\xrightarrow\Rightarrow\Leftrightarrow\leftarrow\longmapsto\hookrightarrow\Longrightarrow\restriction