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

Exclusive-Or operator?

From: Andrew Helwer <andrew...@xxxxxxxxx>
Date: Wed, 11 Oct 2017 15:08:59 -0700 (PDT)

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

Follow-Ups:
- Re: Exclusive-Or operator?
  - From: Hillel Wayne

Prev by Date: TLA+ Toolbox 1.5.4 release
Next by Date: Re: Exclusive-Or operator?
Previous by thread: Re: [tlaplus] TLA+ Toolbox 1.5.4 release
Next by thread: Re: Exclusive-Or operator?
Index(es):
- Date
- Thread