\doublebarwedgeThe \doublebarwedge symbol is used in logic and mathematics to represent a logical NOR operation or sometimes a joint denial. It is a binary operator that returns true only when both operands are false.
Logical NOR operation between propositions A and B.
A \doublebarwedge BLogical NOR operation applied to predicates P and Q.
P(x) \doublebarwedge Q(x)Expression showing equivalence between negation of OR and double bar wedge.
\neg (A \lor B) \equiv A \doublebarwedge B