File tree Expand file tree Collapse file tree 1 file changed +1
-3
lines changed
Expand file tree Collapse file tree 1 file changed +1
-3
lines changed Original file line number Diff line number Diff line change @@ -212,8 +212,6 @@ def compile_tables(data: dict) -> dict:
212212 "operator-to-precedence" : operator_to_precedence ,
213213 "operator-to-ascii" : operator_to_ascii ,
214214 "operator-to-unicode" : operator_to_unicode ,
215- # unicode-operators is irregular, but this is what
216- # mathics-pygments uses
217215 "unicode-operators" : unicode_to_operator ,
218216 "unicode-to-wl-dict" : unicode_to_wl_dict ,
219217 "unicode-to-wl-re" : unicode_to_wl_re ,
@@ -240,7 +238,7 @@ def compile_tables(data: dict) -> dict:
240238 "operator-to-ascii" ,
241239 "operator-to-precedence" ,
242240 "operator-to-unicode" ,
243- "unicode-operators" ,
241+ # "unicode-operators", # not used yet
244242 "unicode-to-wl-dict" ,
245243 "unicode-to-wl-re" ,
246244 "wl-to-amslatex" ,
You can’t perform that action at this time.
0 commit comments