more symbols

2026-01-22 13:19:21 -05:00 · 2026-01-22 13:19:21 -05:00 · 676c80fec5
commit 676c80fec5
parent 8771285fb4
1 changed files with 1 additions and 1 deletions
--- a/grammar.js
+++ b/grammar.js
@ -175,7 +175,7 @@ module.exports = grammar({
    command : $ => '@include',
    identifier : $ => /[a-zA-Z_]\w*/,
-    symbol     : $ => /[!@#$%^&*-+=<>,./?{}\\|`~'\"∧∨⊙×≅]+/,
+    symbol     : $ => /[!@#$%^&*-+=<>,./?{}\\|`~'\"∧∨⊙×≅]+∈⊆⊂⊃⊇/,
  }
 });