In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+23D0 (VERTICAL LINE EXTENSION).
The ⏐ symbol (Vertical line extension, U+23D0), written as \arrowvert in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+23D0 (VERTICAL LINE EXTENSION).