A collection of various standards, proposed or established, relating to TLA⁺. Includes:

• The formal BNF grammars for TLA⁺ v1 and v2
• Unicode equivalents to TLA+ LaTeX symbols
• A corpus of tests that can be adapted to all TLA⁺ tooling