From 0fd4fb69db50ea500348d408116ff1f46b6442f8 Mon Sep 17 00:00:00 2001 From: rocky Date: Fri, 8 Nov 2024 05:57:54 -0500 Subject: [PATCH] Move forward some more --- mathics_scanner/data/named-characters.yml | 11 ++++++ mathics_scanner/data/operators.yml | 42 +++++++---------------- 2 files changed, 24 insertions(+), 29 deletions(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index aa09952..b096740 100644 --- 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 index 2987f51..be0e1b0 100644 --- 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