Add amslatex sanity test

Author: rocky

mathics_scanner/data/named-characters.yml

@@ -1414,7 +1414,7 @@ Currency:
   wl-unicode: "\xA4"
   wl-unicode-name: CURRENCY SIGN
 DHacek:
-  amslatex: "\\v{D}"
+  amslatex: "\\v{d}"
   esc-alias: dv
   has-unicode-inverse: false
   is-letter-like: false
@@ -1785,7 +1785,7 @@ DoublePrime:
   wl-unicode: "\u2033"
   wl-unicode-name: DOUBLE PRIME
 DoubleRightArrow:
-  amslatex: "$\\Rightarrow$"
+  amslatex: "\\Rightarrow"
   esc-alias: ' =>'
   has-unicode-inverse: false
   is-letter-like: false
@@ -2456,7 +2456,7 @@ EGrave:
   wl-unicode: "\xE8"
   wl-unicode-name: LATIN SMALL LETTER E WITH GRAVE
 EHacek:
-  amslatex: "\\v{E}"
+  amslatex: "\\v{e}"
   esc-alias: ev
   has-unicode-inverse: false
   is-letter-like: false

test/test_general_yaml_sanity.py

@@ -45,6 +45,28 @@ def test_yaml_field_names():
         assert diff == set(), f"Item {k} has unknown fields {diff}"
 
 
+def test_amslatex():
+    amslatex_seen = set()
+    dup_amslatex = set(["\\Rightarrow", "\\rightarrow", "\\uparrow"])
+    for k, v in yaml_data.items():
+        a = v.get("amslatex", None)
+        if a is None:
+            continue
+        msg_prefix = f"In {k} with amslatex {a}, "
+        if a.startswith("$"):
+            assert a.endswith("$"), (
+                msg_prefix + "if something starts in math mode, it must end with '$'"
+                )
+        if a.endswith("$"):
+            assert a.startswith("$"), (
+                msg_prefix + "if something ends in math mode, it must start with '$'"
+                )
+        if a in dup_amslatex:
+            continue
+        assert a not in amslatex_seen, msg_prefix + "value seen before"
+        amslatex_seen.add(a)
+
+
 def test_operators():
     ascii_seen = set()
     operator_name_seen = set()