At the TLA+ community event I gave a talk where I suggested one of the things we could look at doing is simplifying TLA+ syntax. And - to be clear, none of this serious or committing, we're just playing around to see how it looks - Hillel Wayne had some fun ideas to make the logical operator syntax look more programmerish. So I whipped up some changes to SANY and voila - it works and you can try it! TLC even checks it.
All the Unicode work along with a bunch of parser testing work funded by the TLA+ Foundation has made it quite easy to make simple changes to the parser. So I'm taking requests! Have any fun syntax ideas? I'll try to implement them for you, assuming they aren't too involved.
It's one thing to speculate about how syntax could look but this will let you try it out!
Andrew Helwer