From c2c2565305d723269ebb28e0c2105bb0712dfeee Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 26 Jun 2020 14:38:33 -0400
Subject: =?UTF-8?q?No=20=E2=84=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/grammar.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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