{ }s are sometimes used when there are multiple levels of "parens", s…

…o they shouldn't always be a "set". I added code that looks for one of ',∈∉|' inside the braces.
NSoiffer · Oct 22, 2024 · 80c8a7a · 80c8a7a
1 parent 3295c7f
commit 80c8a7a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Rules/Intent/general.yaml b/Rules/Intent/general.yaml
@@ -550,7 +550,8 @@
 - 
   name: set
   tag: mrow
-  match: "IsBracketed(., '{', '}')"
+  # sets have { }s and should have at least one of ",∈∉|" (vertical bar is "such that")
+  match: "IsBracketed(., '{', '}') and . != translate(., ',∈∉|', '')"
   replace: 
   - intent:
       name: "set"