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 asA ^^ 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?