diff --git a/preserves.md b/preserves.md
index 2234e55..ede402e 100644
--- a/preserves.md
+++ b/preserves.md
@@ -880,9 +880,9 @@ types.[^why-dictionaries]
     predicate to programmers, and so if a data type demands a special
     equivalence predicate, as `Dictionary`, `Set` and `Float` all do,
     then the type should be included in the base language. Otherwise,
-    it can be represented as a `Record` and treated separately. Both
-    `Boolean` and `String` are seeming exceptions: they merit
-    inclusion because of their cultural importance.
+    it can be represented as a `Record` and treated separately.
+    `Boolean`, `String` and `Symbol` are seeming exceptions: they
+    merit inclusion because of their cultural importance.
 
 All of these conventions are optional. They form a layer atop the core
 `Value` structure. Non-domain-specific tools do not in general need to