From 4517c518c80567cd09d89580745d1369f147fa4b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 7 Apr 2021 09:19:45 +0200
Subject: [PATCH] doc: fix `max` precedence

---
 doc/syntax.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/syntax.md b/doc/syntax.md
index 9773d94c7b..37523230cd 100644
--- a/doc/syntax.md
+++ b/doc/syntax.md
@@ -30,7 +30,7 @@ notation:65 lhs:65 " + " rhs:66 => HAdd.hAdd lhs rhs
 notation:50 lhs:51 " = " rhs:51 => Eq lhs rhs
 notation:80 lhs:81 " ^ " rhs:80 => HPow.hPow lhs rhs
 notation:100 "-" arg:100 => Neg.neg arg
-notation:1000 arg:1000 "⁻¹" => Inv.inv arg  -- `max` is a shorthand for precedence 1000
+notation:1024 arg:1024 "⁻¹" => Inv.inv arg  -- `max` is a shorthand for precedence 1024
 ```
 
 It turns out that all commands from the first code block are in fact command *macros* translating to the more general `notation` command.