In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2A5E (LOGICAL AND WITH DOUBLE OVERBAR).
\doublebarwedgeSymbol
The ⩞ symbol (Logical and with double overbar, U+2A5E), written as \doublebarwedge in LaTeX math mode.
The ⩞ symbol (Logical and with double overbar, U+2A5E), written as \doublebarwedge in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2A5E (LOGICAL AND WITH DOUBLE OVERBAR).