[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Exclusive-Or operator?

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?