Definition:Exclusive Or/Notational Variants

From ProofWiki
Jump to navigation Jump to search

Definition

Various symbols are encountered that denote the concept of exclusive or:

Symbol Origin Known as
$p \oplus q$ sometimes called o-plus
$p\ \mathsf{XOR} \ q$
$p + q$
$p \not \Leftrightarrow q$
$p \not \equiv q$
$p \ne q$
$p \ \dot \lor \ q$
$p \ \_ \lor \ q$


Sources