TeXipedia

barwedge

Represents a logical operator showing a wedge (AND) with a horizontal bar across it, commonly used in mathematical logic and set theory.

Overview

Serves as a specialized binary operator in formal logic and mathematical notation, particularly when expressing complex logical relationships or set-theoretic operations.

  • Often appears in advanced mathematical proofs and formal logical arguments
  • Used to denote specific types of logical conjunction or set operations
  • Frequently encountered in abstract algebra and theoretical computer science
  • Pairs well with other logical operators to build complex expressions

Examples

Expressing a logical NAND operation between propositions P and Q.

P⊼QP \barwedge Q 
P \barwedge Q

Showing multiple NAND operations in a logical expression.

(A⊼B)  ⟹  (A⊼C)(A \barwedge B) \implies (A \barwedge C) 
(A \barwedge B) \implies (A \barwedge C)