From 676c80fec51bf05dd4a577af76d53fcf3b75e764 Mon Sep 17 00:00:00 2001
From: William Ball <wball@ballcloud.cc>
Date: Thu, 22 Jan 2026 13:19:21 -0500
Subject: [PATCH] more symbols

---
 grammar.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/grammar.js b/grammar.js
index 3e509f9..35d34bd 100644
--- a/grammar.js
+++ b/grammar.js
@@ -175,7 +175,7 @@ module.exports = grammar({
     command : $ => '@include',
 
     identifier : $ => /[a-zA-Z_]\w*/,
-    symbol     : $ => /[!@#$%^&*-+=<>,./?{}\\|`~'\"∧∨⊙×≅]+/,
+    symbol     : $ => /[!@#$%^&*-+=<>,./?{}\\|`~'\"∧∨⊙×≅]+∈⊆⊂⊃⊇/,
 
   }
 });