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?