From 3c676cb3de281d4b532ae0ca69a8449ac7717b0f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 18 Aug 2019 16:51:46 +0100
Subject: [PATCH] Avoid confusing dashes/numerics in symunicode at start of a
 symbol

---
 preserves.md | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/preserves.md b/preserves.md
index 76481de..709254c 100644
--- a/preserves.md
+++ b/preserves.md
@@ -347,14 +347,16 @@ escape syntax, except using a bar or pipe character (`|`) instead of a
 double quote mark.
 
             Symbol = symstart *symcont / "|" *symchar "|"
-          symstart = ALPHA / sympunct / symunicode
-           symcont = ALPHA / sympunct / symunicode / DIGIT / "-"
+          symstart = ALPHA / sympunct / symustart
+           symcont = ALPHA / sympunct / symustart / symucont / DIGIT / "-"
           sympunct = "~" / "!" / "$" / "%" / "^" / "&" / "*" /
                      "?" / "_" / "=" / "+" / "/" / "."
            symchar = unescaped / %x22 / escape (escaped / %x7C / %s"u" 4HEXDIG)
-        symunicode = <any code point greater than 127 whose Unicode
-                      category is Lu, Ll, Lt, Lm, Lo, Mn, Mc, Me, Nd,
-                      Nl, No, Pd, Pc, Po, Sc, Sm, Sk, So, or Co>
+         symustart = <any code point greater than 127 whose Unicode
+                      category is Lu, Ll, Lt, Lm, Lo, Mn, Mc, Me,
+                      Pc, Po, Sc, Sm, Sk, So, or Co>
+          symucont = <any code point greater than 127 whose Unicode
+                      category is Nd, Nl, No, or Pd>
 
   [^cf-sexp-token]: Compare with the [SPKI S-expression][sexp.txt]
     definition of "token representation", and with the