tlaplus-standard A collection of various standards, proposed or established, relating to TLA+. Includes: The formal BNF grammars for TLA+ v1 and v2 Proposed unicode equivalents to TLA+ LaTeX symbols