Note ASCIIness of "Or" ...

and add AMSLaTeX symbol for it too
Mathics3 · Dec 30, 2024 · 67780ae · 67780ae
1 parent 36df0dc
commit 67780ae
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml
@@ -7641,6 +7641,8 @@ OptionKey:
   wl-unicode: "\uF7D2"
 
 Or:
+  amslatex: "$\\vert"  # Also $\\lor$
+  ascii: "||"
   esc-alias: '||'
   has-unicode-inverse: false
   is-letter-like: false