DOC: rephrase description of operator associativity

to increase readability.
tulip-control · Dec 8, 2023 · 024d560 · 024d560
1 parent 79764be
commit 024d560
Showing 1 changed file with 12 additions and 13 deletions.
diff --git a/doc.md b/doc.md
@@ -1297,19 +1297,18 @@ Comments are written using TLA+ syntax:
 
 Doubly-delimited comments can span multiple lines.
 
-The token precedence (lowest to highest) and associativity
-(r = right, l = left, n = none) is:
-
-- `:` (l)
-- `<=>, <->` (l)
-- `=>, ->` (l)
-- `-` (l)
-- `#`, `^` (l)
-- `\/, |` (l)
-- `/\, &` (l)
-- `=` (l)
-- `~, !` (r)
-- `-` (r) unary minus, as in `-5`
+The token precedence (lowest to highest) and associativity is:
+
+- `:` (left)
+- `<=>, <->` (left)
+- `=>, ->` (left)
+- `-` (left)
+- `#`, `^` (left)
+- `\/, |` (left)
+- `/\, &` (left)
+- `=` (left)
+- `~, !`
+- `-` unary minus, as in `-5`
 
 The meaning of a number of operators,
 assuming `a` and `b` take Boolean values: