diff --git a/Cargo.toml b/Cargo.toml
index 8a118db..279e3d2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "slotted-egraphs"
-version = "0.0.24"
+version = "0.0.25"
 edition = "2021"
 description = "E-Graphs with name binding"
 license = "Apache-2.0 OR MIT"
diff --git a/src/parse.rs b/src/parse.rs
index cb8f663..33e436c 100644
--- a/src/parse.rs
+++ b/src/parse.rs
@@ -24,7 +24,7 @@ enum Token {
 
 fn ident_char(c: char) -> bool {
     if c.is_whitespace() { return false; }
-    if "()[]$:=?".contains(c) { return false; }
+    if "()[]".contains(c) { return false; }
     true
 }