Thread: Standard symbol for exclusive disjunction?

Hello All:

Is there any "universally agreed-upon" symbol to represent this exclusive disjunction:

p v q & ~(p & q) ?

That is, would there be one symbol that one could use such that "p * q" would be equivalent to the above statement?

Thank you very much.

The plus symbol inside a circle.

Also, in letters:

xor

Universal? No. But a common one I've seen is disjunction with a bar underneath, . Wikipedia lists the circle plus, , as another popular choice.

Originally Posted by panglot

Is there any "universally agreed-upon" symbol to represent this exclusive disjunction: p v q & ~(p & q) ?

Not to be too flippant, but that are no universally agreed-upon symbols period.
However, one very often sees the exclusive or symbolized as

That means exactly one of p or q is true.