In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+21D3 (DOWNWARDS DOUBLE ARROW).
The ⇓ symbol (Downwards double arrow, U+21D3), written as \Downarrow in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+21D3 (DOWNWARDS DOUBLE ARROW).