diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index 3b5329e..314cf32 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -6224,7 +6224,7 @@ LeftDoubleBracket: esc-alias: '[[' has-unicode-inverse: false is-letter-like: false - operator-name: LeftPart + operator-name: LeftDoubleBracket unicode-equivalent: "\u301A" unicode-equivalent-name: LEFT WHITE SQUARE BRACKET wl-reference: https://reference.wolfram.com/language/ref/character/LeftDoubleBracket.html @@ -8569,7 +8569,7 @@ RightDoubleBracket: esc-alias: ']]' has-unicode-inverse: false is-letter-like: false - operator-name: RightPart + operator-name: RightDoubleBracket unicode-equivalent: "\u301B" unicode-equivalent-name: RIGHT WHITE SQUARE BRACKET wl-reference: https://reference.wolfram.com/language/ref/character/RightDoubleBracket.html diff --git a/mathics_scanner/generate/build_tables.py b/mathics_scanner/generate/build_tables.py index 1240d6e..49c26f4 100755 --- a/mathics_scanner/generate/build_tables.py +++ b/mathics_scanner/generate/build_tables.py @@ -153,6 +153,11 @@ def compile_tables(data: dict) -> dict: if "wl-unicode" in v } + # WL to AMS LaTeX characters + amslatex_named_characters = { + k: v.get("amslatex") for k, v in data.items() if "amslatex" in v + } + operator_names = sorted([k for k, v in data.items() if "operator-name" in v]) ascii_operators = [] @@ -219,6 +224,7 @@ def compile_tables(data: dict) -> dict: return { "aliased-characters": aliased_characters, + "amslatex-named-characters": amslatex_named_characters, "ascii-operators": ascii_operators, "ascii-operator-to-symbol": ascii_operator_to_symbol, "ascii-operator-to-character-symbol": ascii_operator_to_character_symbol,