In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22C0 (N-ARY LOGICAL AND).
\bigwedgeSymbol
The ⋀ symbol (N-ary logical and, U+22C0), written as \bigwedge in LaTeX math mode.
The ⋀ symbol (N-ary logical and, U+22C0), written as \bigwedge in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22C0 (N-ARY LOGICAL AND).