### Universal TLA+ cheat sheet (with many pages): - [Specifying Systems](https://lamport.azurewebsites.net/tla/book.html) with syntax in chapter 18 "Standard Modules" (page 339ff) ### Cheat sheets showing the TLA+ ASCII and pretty-printed syntax: - https://github.com/tlaplus-workshops/ewd998/blob/main/docs/TLA+CheatSheet.pdf - https://github.com/OCamlPro/cheat-sheets/blob/master/tla-cheat-sheet/tla-cheat-sheet-v1.pdf - https://mbt.informal.systems/docs/tla_basics_tutorials/tla+cheatsheet.html - https://github.com/tlaplus/PlusCalCheatSheet/blob/main/pluscal.pdf
Universal TLA+ cheat sheet (with many pages):
Cheat sheets showing the TLA+ ASCII and pretty-printed syntax: