Move forward some more

Mathics3 · Nov 8, 2024 · 0fd4fb6 · 0fd4fb6
1 parent 1784b7d
commit 0fd4fb6
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 29 deletions.
diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml
@@ -3636,6 +3636,17 @@ Exists:
   wl-unicode: "\u2203"
   wl-unicode-name: THERE EXISTS
 
+# ExpectationE:
+# #  amslatex: "\\ExpectationE"
+# #  esc-alias: ee
+# #  has-unicode-inverse: true
+# #  is-letter-like: true
+# #  unicode-equivalent: "\u2147"
+# #  unicode-equivalent-name: DOUBLE-STRUCK ITALIC SMALL E
+# #  unicode-reference: https://www.compart.com/en/unicode/U+2147
+#   wl-reference: https://reference.wolfram.com/language/ref/character/ExpectationE.html
+#   wl-unicode: "\uF2D3"
+
 ExponentialE:
   amslatex: "\\ExponentialE"
   esc-alias: ee

diff --git a/mathics_scanner/data/operators.yml b/mathics_scanner/data/operators.yml
@@ -1973,22 +1973,6 @@ Exists:
   meaningful: true
   # comments: Usage and Parse may not be correct.
 
-ExpectationE:
-  actual-precedence: 420
-  precedence: 325
-  WolframLanguageData-corrected: 45
-  UnicodeCharacters.tr: 455
-  UnicodeCharacters-corrected.tr: 445
-  # N-tokens: {""}
-  # L-tokens: {}
-  # O-tokens: {}
-  usage: "{{"", "expr"}}"
-  # parse: {"ExpectationE", "[", "expr", "]"}
-  arity: Unary
-  affix: Prefix
-  associativity: right
-  meaningful: true
-  # comments: Usage and Parse may not be correct.
 
 Factorial:
   actual-precedence: 790
@@ -2000,8 +1984,8 @@ Factorial:
   # N-tokens: {}
   # L-tokens: {"!"}
   # O-tokens: {}
-  usage: "{{"expr", "!"}}"
-  # parse: {"Factorial", "[", "expr", "]"}
+  usage: "n!"
+  # parse: {"Factorial", "[", "n", "]"}
   FullForm: Factorial[expr]
   arity: Unary
   affix: Postfix
@@ -2019,7 +2003,7 @@ Factorial2:
   # N-tokens: {}
   # L-tokens: {"!!"}
   # O-tokens: {}
-  usage: "{{"expr", "!!"}}"
+  usage: "n!!"
   # parse: {"Factorial2", "[", "expr", "]"}
   FullForm: Factorial2[expr]
   arity: Unary
@@ -2039,9 +2023,9 @@ Floor:
   # N-tokens: {"⌊"}
   # L-tokens: {}
   # O-tokens: {"⌋"}
-  usage: "⌊ expr ⌋"
-  # parse: {"Floor", "[", "expr", "]"}
-  FullForm: Floor[expr]
+  usage: "⌊ x ⌋"
+  # parse: {"Floor", "[", "x", "]"}
+  FullForm: Floor[x]
   arity: Unary
   affix: Matchfix
   associativity: null
@@ -2096,7 +2080,7 @@ FractionBox:
   # N-tokens: {}
   # L-tokens: {"\/"}
   # O-tokens: {}
-  usage: "\( expr1 \/  expr2 \)"
+  usage: "\\( expr1 \/  expr2 \\)"
   # parse: {"FractionBox", "[", "expr1", ",", "expr2", "]"}
   arity: Binary
   affix: Infix
@@ -2190,9 +2174,9 @@ Function:
   # N-tokens: {}
   # L-tokens: {"&"}
   # O-tokens: {}
-  usage: "{{"expr", "&"}}"
-  # parse: {"Function", "[", "expr", "]"}
-  FullForm: Function[expr]
+  usage: "body&"
+  # parse: {"Function", "[", "body", "]"}
+  FullForm: Function[body]
   arity: Unary
   affix: Postfix
   associativity: left
@@ -2209,9 +2193,9 @@ FunctionApply:
   # N-tokens: {}
   # L-tokens: {"["}
   # O-tokens: {"]"}
-  usage: "expr1", "[ expr2 ]"
-  # parse: {"expr1", "[", "expr2", ",", "…", "]"}
-  FullForm: expr1[expr2, \[Ellipsis]]
+  usage: "f [ body ]"
+  # parse: {"f", "[", "expr1", ",", "…", "]"}
+  FullForm: f[expr1, \[Ellipsis]]
   arity: n-ary
   affix: Postfix
   associativity: left