[tlaplus] Why was the ? infix operator removed between TLA+ v1 and v2?

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

Looking at the BNF specs for TLA+ v1 and v2, the set of infix operators has some changes:

• The addition of the <= and \notin operators
• The removal of the ? operator

I was also reminded of this when searching through files for the other thread and came across this line in the SANY code. So out of curiosity, what occasioned the removal?

Andrew

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ed4a662-30f9-44c3-9d2c-469adfb1fa50n%40googlegroups.com.