From f0379c525df7aa396e2c3017d1f5984e07eccf8f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 8 Oct 2018 21:24:40 +0100
Subject: [PATCH] Prepare for annotations by disallowing @ in raw symbols

---
 preserves.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preserves.md b/preserves.md
index d4fe242..6298485 100644
--- a/preserves.md
+++ b/preserves.md
@@ -436,7 +436,7 @@ double quote mark.
             Symbol = symstart *symcont / "|" *symchar "|"
           symstart = ALPHA / sympunct / symunicode
            symcont = ALPHA / sympunct / symunicode / DIGIT / "-"
-          sympunct = "~" / "!" / "@" / "$" / "%" / "^" / "&" / "*" /
+          sympunct = "~" / "!" / "$" / "%" / "^" / "&" / "*" /
                      "?" / "_" / "=" / "+" / "<" / ">" / "/" / "."
            symchar = unescaped / %x22 / escape (escaped / %x7C / %s"u" 4HEXDIG)
         symunicode = <any code point greater than 127 whose Unicode