WIP - towards getting operators sorted out

Mathics3 · Nov 21, 2024 · df19189 · df19189
1 parent ad488f8
commit df19189
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mathics_scanner/tokeniser.py b/mathics_scanner/tokeniser.py
@@ -33,6 +33,7 @@
 )
 full_names_pattern = r"(`?{0}(`{0})*)".format(base_names_pattern)
 
+# FIXME: Revise to get Character Symbols from data/characters.json
 tokens = [
     ("Definition", r"\? "),
     ("Information", r"\?\? "),
@@ -180,6 +181,7 @@
     ("Cup", r" \u2323 "),
     ("CirclePlus", r" \u2295 "),
     ("CircleMinus", r" \u2296 "),
+    ("Congruent", r" \u2261 "),
     ("Intersection", r" \u22c2 "),
     ("Union", r" \u22c3 "),
     ("VerticalBar", r" \u2223 "),