\veebar

The \veebar symbol represents the exclusive or (XOR) operation in logic, which outputs true only when inputs differ.

Examples

Logical exclusive or between propositions A and B

A \veebar B

XOR operation among three logical statements P, Q, and R

P \veebar Q \veebar R

XOR operation between variables x and y resulting in z

x \veebar y = z