Re: Exclusive-Or operator?

[Hillel Wayne <hwa...@xxxxxxxxx>]

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.

On Wednesday, 11 October 2017 15:25:19 UTC-7, Andrew Helwer wrote:

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.

On Wednesday, October 11, 2017 at 3:14:24 PM UTC-7, Hillel Wayne wrote:

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 ^^.
On Wednesday, 11 October 2017 15:08:59 UTC-7, Andrew Helwer wrote:

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