TLA+ uses an almost-standard mathematical notation, so that people with some familiarity with mathematics can read it in ~10 minutes of training. You can see ex

TLA+ uses an almost-standard mathematical notation, so that people with some familiarity with mathematics can read it in ~10 minutes of training. You can see examples of what it looks like in my post here (https://pron.github.io/posts/tlaplus_part2 https://pron.github.io/posts/tlaplus_part2) This website chooses to show the ASCII version that you actually type to get the "real" pretty-printed syntax.