From 5f8f52572bd196283201a2c76cae5c9b82551ea8 Mon Sep 17 00:00:00 2001 From: "R. Bernstein" Date: Sun, 8 Sep 2024 12:56:46 -0400 Subject: [PATCH] Add unicode minus: U+2122 (#72) --- mathics_scanner/data/named-characters.yml | 2 ++ mathics_scanner/generate/build_tables.py | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index 80690ef..9dee629 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -5674,10 +5674,12 @@ Micro: wl-unicode-name: MICRO SIGN Minus: + amslatex: "$-$" ascii: "-" has-unicode-inverse: false is-letter-like: false operator-name: Minus + unicode-equivalent: "\u2212" MinusPlus: amslatex: "\\mp" diff --git a/mathics_scanner/generate/build_tables.py b/mathics_scanner/generate/build_tables.py index 78fb220..e96b931 100755 --- a/mathics_scanner/generate/build_tables.py +++ b/mathics_scanner/generate/build_tables.py @@ -132,7 +132,7 @@ def compile_tables(data: dict) -> dict: # Conversion from unicode or ascii to wl dictionary entry. # We filter the dictionary after it's first created to redundant entries unicode_to_wl_dict = { - v.get("unicode-equivalent", v.get("ascii")): v["wl-unicode"] + v.get("unicode-equivalent", v.get("ascii")): v.get("wl-unicode", v.get("ascii")) for v in data.values() if ("unicode-equivalent" in v or "ascii" in v) and v["has-unicode-inverse"] }