In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2016 (DOUBLE VERTICAL LINE).
\ArrowvertSymbol
The ‖ symbol (Double vertical line, U+2016), written as \Arrowvert in LaTeX math mode.
The ‖ symbol (Double vertical line, U+2016), written as \Arrowvert in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2016 (DOUBLE VERTICAL LINE).