From e9f8372e7c6d9efd6c49bfdedf2676a6e11b0ab6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 27 Jun 2020 09:34:47 -0400
Subject: G isn't a term

---
 spec/grammar.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/grammar.md b/spec/grammar.md
index a2cddf87..ea3aabf5 100644
--- a/spec/grammar.md
+++ b/spec/grammar.md
@@ -66,7 +66,7 @@ A header looks like a name for the thing being headed, or its application to inp
     headW    = value | "𝕨"
     headX    = value | "𝕩"
     HeadF    = F | "𝕗" | "𝔽"
-    HeadG    = G | "𝕘" | "𝔾"
+    HeadG    = F | "𝕘" | "𝔾"
     ModH1    = HeadF ( _m  | "_𝕣"  )
     CmpH1    = HeadF ( _c_ | "_𝕣_" ) HeadG
     valHead  =  v
-- 
cgit v1.2.3