Exclusive-Or operator?

[Andrew Helwer]

Quick question - does TLA+ have an xor infix operator?

[Hillel Wayne]

There's no native infix operator, but you can define it as

A ^^ B == (A \/ B) /\ ~(A /\ B)

I don't believe any of the standard modules define ^^.

[Andrew Helwer]

Thanks! I duplicated this question & answer to StackOverflow for easy future reference: https://stackoverflow.com/questions/46698480/is-there-an-xor-exclusive-or-infix-operator-in-tla

Might trawl through other common questions here and do the same for them.

[Hillel Wayne]

Between your QA and jakewin's Liveness question, there have now been as many TLA+ questions posted on StackOverflow today as there have been in the past four years.