In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22C1 (N-ARY LOGICAL OR).
The ⋁ symbol (N-ary logical or, U+22C1), written as \bigvee in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22C1 (N-ARY LOGICAL OR).