In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2228 (LOGICAL OR).
Normalize lor to vee for corpus form.
\lor \vee\lorSymbol
The ∨ symbol (Logical or, U+2228), written as \lor in LaTeX math mode.
The ∨ symbol (Logical or, U+2228), written as \lor in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2228 (LOGICAL OR).
Normalize lor to vee for corpus form.
\lor \vee