In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+23AA (CURLY BRACKET EXTENSION).
\bracevertSymbol
The ⎪ symbol (Curly bracket extension, U+23AA), written as \bracevert in LaTeX math mode.
The ⎪ symbol (Curly bracket extension, U+23AA), written as \bracevert in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+23AA (CURLY BRACKET EXTENSION).