\barwedgeThe \barwedge operator is used to represent a logical NOR operation, which is the negation of the logical OR. It is often used in mathematical logic and set theory to denote that neither of the operands is true.
Logical NOR operation between propositions A and B
A \barwedge BLogical NOR operation between predicates P(x) and Q(x)
P(x) \barwedge Q(x)Logical NOR operation to express that neither X is a subset of Y nor Y is a subset of Z
(X \subseteq Y) \barwedge (Y \subseteq Z)