Go over operator characters...

mathics_scanner/data/OperatorTable.csv

@@ -174,11 +174,11 @@ Cup,Cup,440,340,340,43,43,460,460,{},"{""⌣""}",{},"{{""expr1"", ""⌣"", ""exp
 CircleMinus,CircleMinus,430,330,330,44,44,450,450,{},"{""⊖""}",{},"{{""expr1"", ""⊖"", ""expr2""}}","{""CircleMinus"", ""["", ""expr1"", "","", ""expr2"", ""]""}","CircleMinus[expr1, expr2]",Binary,Infix,Left,False,
 CirclePlus,CirclePlus,430,330,330,44,44,450,450,{},"{""⊕""}",{},"{{""expr1"", ""⊕"", ""expr2""}}","{""CirclePlus"", ""["", ""expr1"", "","", ""expr2"", ""]""}","CirclePlus[expr1, expr2]",Binary,Infix,None,False,
 Sum,Sum,420,320,325,45,45,440,445,"{""∑""}",{},{},"{{""∑"", ""expr""}}","{""Sum"", ""["", ""expr"", ""]""}",Sum[expr],Unary,Prefix,Right,True,Usage and Parse may not be correct.
-Integrate,Integral,420,325,325,23,45,455,445,"{""∫""}",{},"{""""}","{{""∫"", ""expr1"", """", ""expr2""}}","{""Integrate"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Prefix,Right,True,
-ClockwiseContourIntegral,ClockwiseContourIntegral,420,670,325,,45,455,445,"{""∲""}",{},"{""""}","{{""∲"", ""expr1"", """", ""expr2""}}","{""ClockwiseContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Unary,Prefix,Right,True,Usage and Parse may not be correct.
-ContourIntegral,ContourIntegral,420,670,325,,45,455,445,"{""∮""}",{},"{""""}","{{""∮"", ""expr1"", """", ""expr2""}}","{""ContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Unary,Prefix,Right,True,Usage and Parse may not be correct.
-CounterClockwiseContourIntegral,CounterClockwiseContourIntegral,420,670,325,,45,455,445,"{""∳""}",{},"{""""}","{{""∳"", ""expr1"", """", ""expr2""}}","{""CounterClockwiseContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Unary,Prefix,Right,True,Usage and Parse may not be correct.
-DoubleContourIntegral,DoubleContourIntegral,420,670,325,,45,455,445,"{""∯""}",{},"{""""}","{{""∯"", ""expr1"", """", ""expr2""}}","{""DoubleContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Unary,Prefix,Right,True,Usage and Parse may not be correct.
+Integrate,Integral,420,325,325,23,45,455,445,"{""∫""}",{},"{""""}","{{""∫"", ""expr1"", """", ""expr2""}}","{""Integrate"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Compound,Right,True,
+ClockwiseContourIntegral,ClockwiseContourIntegral,420,670,325,,45,455,445,"{""∲""}",{},"{""""}","{{""∲"", ""expr1"", """", ""expr2""}}","{""ClockwiseContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Compound,Right,True,Usage and Parse may not be correct.
+ContourIntegral,ContourIntegral,420,670,325,,45,455,445,"{""∮""}",{},"{""""}","{{""∮"", ""expr1"", """", ""expr2""}}","{""ContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Compound,Right,True,Usage and Parse may not be correct.
+CounterClockwiseContourIntegral,CounterClockwiseContourIntegral,420,670,325,,45,455,445,"{""∳""}",{},"{""""}","{{""∳"", ""expr1"", """", ""expr2""}}","{""CounterClockwiseContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Compound,Right,True,Usage and Parse may not be correct.
+DoubleContourIntegral,DoubleContourIntegral,420,670,325,,45,455,445,"{""∯""}",{},"{""""}","{{""∯"", ""expr1"", """", ""expr2""}}","{""DoubleContourIntegral"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Integrate[expr1, expr2]",Binary,Compound,Right,True,Usage and Parse may not be correct.
 ExpectationE,ExpectationE,420,325,325,,45,455,445,"{""""}",{},{},"{{"""", ""expr""}}","{""ExpectationE"", ""["", ""expr"", ""]""}",,Unary,Prefix,Right,True,Usage and Parse may not be correct.
 ProbabilityPr,ProbabilityPr,420,325,325,,45,455,445,"{""""}",{},{},"{{"""", ""expr""}}","{""ProbabilityPr"", ""["", ""expr"", ""]""}",,Unary,Prefix,Right,True,Usage and Parse may not be correct.
 Limit,Limit,410,320,320,,45.5,440,440,"{""""}",{},{},"{{"""", ""expr""}}","{""Limit"", ""["", ""expr"", ""]""}",,Unary,Prefix,Right,True,Usage and Parse may not be correct.

mathics_scanner/data/named-characters.yml

@@ -32,6 +32,9 @@
 #                  prespective, an operator name like "Association"
 #                  might have *two* (bracketing) symbols associated
 #                  here: "LeftAssociation" and "RightAssociation".
+#                  More operator information can be found in
+#                  file "operators.yml".
+#
 #
 #   unicode-equivalent: A unicode equivalent for the named-character, if it
 #                       exists. If it is the same as "ascii", please omit.
@@ -53,6 +56,7 @@
 #   http://milde.users.sourceforge.net/LUCR/Math/unimathsymbols.pdf
 #   https://reference.wolfram.com/language/ref/character/....html
 #   https://github.com/rsmenon/pygments-mathematica
+#   https://reference.wolfram.com/language/tutorial/OperatorInputForms.html
 
 AAcute:
   amslatex: "\\'{a}"
@@ -143,12 +147,12 @@ Apply:
 
 # @@@ replaces heads at level 1 of expr by f.
 # We add "3Ats" at the end so keys are unique, but
-# the WL operator is still "Apply".
+# the WL operator is still "MapApply".
 Apply3Ats:
   ascii: "@@@"
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: Apply
+  operator-name: MapApply
 
 ApplyTo:
   ascii: "//="
@@ -1660,12 +1664,6 @@ Decrement:
 
 # See also PatternTest and RawQuestion
 
-Definition:
-  ascii: "?"
-  has-unicode-inverse: false
-  is-letter-like: false
-  operator-name: Definition
-
 # \[Degree] is letter-like, not an operator, which is
 # mutually exclusive.
 
@@ -2677,7 +2675,6 @@ DownLeftVectorBar:
 DownPointer:
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: DownPointer
   unicode-equivalent: "\u25BE"
   unicode-equivalent-name: BLACK DOWN-POINTING SMALL TRIANGLE
   wl-unicode: "\u25BE"
@@ -4966,12 +4963,6 @@ Implies:
   unicode-equivalent-name: RIGHTWARDS DOUBLE ARROW
   wl-unicode: "\uF523"
 
-Increment:
-  ascii: "++"
-  has-unicode-inverse: false
-  is-letter-like: false
-  operator-name: Increment
-
 IndentingNewLine:
   esc-alias: nl
   has-unicode-inverse: false
@@ -5003,12 +4994,12 @@ Information:
   is-letter-like: false
   operator-name: Information
 
+# https://reference.wolfram.com/language/ref/character/Integral.html
 Integral:
   amslatex: "\\int"
   esc-alias: int
   has-unicode-inverse: false
   is-letter-like: false
-  # TODO: This should be a prefix operator
   operator-name: Integral
   unicode-equivalent: "\u222B"
   unicode-equivalent-name: INTEGRAL
@@ -5188,6 +5179,7 @@ LeftAssociation:
   esc-alias: <|
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: LeftAssociation
   wl-unicode: "\uF113"
 
 LeftBracketingBar:
@@ -5208,10 +5200,12 @@ LeftCeiling:
   wl-unicode: "\u2308"
   wl-unicode-name: LEFT CEILING
 
+# Left part of "Part[] operator
 LeftDoubleBracket:
   esc-alias: '[['
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: LeftPart
   unicode-equivalent: "\u301A"
   unicode-equivalent-name: LEFT WHITE SQUARE BRACKET
   wl-unicode: "\u301A"
@@ -5221,6 +5215,7 @@ LeftDoubleBracketingBar:
   esc-alias: l||
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: LeftDoubleBracketingBar
   unicode-equivalent: "\u2016"
   unicode-equivalent-name: DOUBLE VERTICAL LINE
   wl-unicode: "\uF605"
@@ -5271,6 +5266,12 @@ LeftGuillemet:
   wl-unicode: "\xAB"
   wl-unicode-name: LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
 
+LeftList:
+  ascii: "{{"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: LeftList
+
 LeftModified:
   esc-alias: '['
   has-unicode-inverse: false
@@ -5280,7 +5281,6 @@ LeftModified:
 LeftPointer:
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: LeftPointer
   unicode-equivalent: "\u25C2"
   unicode-equivalent-name: BLACK LEFT-POINTING SMALL TRIANGLE
   wl-unicode: "\u25C2"
@@ -5530,7 +5530,6 @@ LongDash:
   esc-alias: --
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: LongDash
   unicode-equivalent: "\u2014"
   unicode-equivalent-name: EM DASH
   wl-unicode: "\u2014"
@@ -5612,6 +5611,12 @@ MapApply:
   is-letter-like: false
   operator-name: MapApply
 
+MaxLimit:
+  esc-alias: Mlim
+  has-unicode-inverse: false
+  is-letter-like: false
+  wl-unicode: "\uF439"
+
 Mars:
   has-unicode-inverse: false
   is-letter-like: false
@@ -5649,11 +5654,11 @@ Mercury:
   wl-unicode: "\u263F"
   wl-unicode-name: MERCURY
 
-Message:
+MessageName:
   ascii: "::"
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: Message
+  operator-name: MessageName
 
 Mho:
   esc-alias: mho
@@ -5679,6 +5684,14 @@ Minus:
   is-letter-like: false
   operator-name: Minus
 
+MinLimit:
+  amslatex: "\\lim_"
+  esc-alias: mlim
+  has-unicode-inverse: false
+  is-letter-like: false
+  unicode-equivalent: "lim"
+  wl-unicode: "\uF43A"
+
 MinusPlus:
   amslatex: "\\mp"
   esc-alias: -+
@@ -5888,7 +5901,7 @@ NotEqual:
   esc-alias: '!='
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: NotEqual
+  operator-name: Unequal
   unicode-equivalent: "\u2260"
   unicode-equivalent-name: NOT EQUAL TO
   wl-unicode: "\u2260"
@@ -6199,6 +6212,7 @@ NotSucceeds:
 
 NotSucceedsEqual:
   has-unicode-inverse: false
+  operator-name: NotSucceedsEqual
   is-letter-like: false
   wl-unicode: "\uF42D"
 
@@ -6427,7 +6441,6 @@ Option:
   ascii: ":"
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: Option
 
 OptionKey:
   esc-alias: opt
@@ -6439,6 +6452,7 @@ Or:
   esc-alias: '||'
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: Or
   unicode-equivalent: "\u2228"
   unicode-equivalent-name: LOGICAL OR
   wl-unicode: "\u2228"
@@ -6491,7 +6505,7 @@ PartialD:
   wl-unicode: "\u2202"
   wl-unicode-name: PARTIAL DIFFERENTIAL
 
-# See also Definition and RawQuestion
+# See also RawQuestion
 PatternTest:
   ascii: "?"
   has-unicode-inverse: false
@@ -6597,6 +6611,12 @@ Power:
   wl-unicode: "^"
   wl-unicode-name: CIRCUMFLEX ACCENT
 
+PreIncrement:
+  ascii: "++"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: PreIncrement
+
 Precedes:
   has-unicode-inverse: false
   is-letter-like: false
@@ -6775,19 +6795,20 @@ RawEscape:
   is-letter-like: false
   wl-unicode: "\e"
 
-# Note: RawGreater WL's name for Mathics Greater or ASCII ">"
+# Note: the operator name and key name differ.
 RawGreater:
   ascii: ">"
   has-unicode-inverse: true
   is-letter-like: false
-  operator-name: RawGreater
+  operator-name: Greater
   unicode-equivalent-name: GREATER-THAN SIGN
   wl-unicode: "\u003e"
   wl-unicode-name: GREATER-THAN SIGN
 
 RawLeftBrace:
   ascii: '{'
   has-unicode-inverse: false
+  operator-name: LeftList
   is-letter-like: false
 
 RawLeftBracket:
@@ -6810,7 +6831,7 @@ RawPercent:
   has-unicode-inverse: false
   is-letter-like: false
 
-# See also Definition and PatternTest
+# See also PatternTest
 RawQuestion:
   ascii: "?"
   has-unicode-inverse: false
@@ -7077,6 +7098,7 @@ RightAssociation:
   esc-alias: '|>'
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: RightAssociation
   wl-unicode: "\uF114"
 
 RightBracketingBar:
@@ -7103,10 +7125,12 @@ RightComposition:
   is-letter-like: false
   operator-name: RightComposition
 
+# Right part of "Part[] operator
 RightDoubleBracket:
   esc-alias: ']]'
   has-unicode-inverse: false
   is-letter-like: false
+  operator-name: RightPart
   unicode-equivalent: "\u301B"
   unicode-equivalent-name: RIGHT WHITE SQUARE BRACKET
   wl-unicode: "\u301B"
@@ -7167,6 +7191,12 @@ RightGuillemet:
   wl-unicode: "\xBB"
   wl-unicode-name: RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
 
+RightList:
+  ascii: "}}"
+  has-unicode-inverse: false
+  is-letter-like: false
+  operator-name: RightList
+
 RightModified:
   esc-alias: ']'
   has-unicode-inverse: false
@@ -7176,7 +7206,6 @@ RightModified:
 RightPointer:
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: RightPointer
   unicode-equivalent: "\u25B8"
   unicode-equivalent-name: BLACK RIGHT-POINTING SMALL TRIANGLE
   wl-unicode: "\u25B8"
@@ -8581,11 +8610,11 @@ UndirectedEdge:
   unicode-equivalent-name: LEFT RIGHT ARROW
   wl-unicode: "\uF3D4"
 
-UnSameQ:
+UnsameQ:
   ascii: "=!="
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: UnSameQ
+  operator-name: UnsameQ
 
 Union:
   esc-alias: un

mathics_scanner/data/operators-additional.yml

@@ -3,6 +3,21 @@
 # Note: we keep the misspelling of "meaningfull"
 # and the uncoverted types like None and True
 
+ApplyTo:
+  actual-precedence: 75
+  Precedence: 75  # CSV has 604 which is wrong
+  Precedence-corrected: 75
+  Precedence-Function: 75
+  WolframLanguageData: 76
+  WolframLanguageData-corrected: 75
+  UnicodeCharacters.tr:
+  UnicodeCharacters-corrected.tr: 75
+  arity: Binary
+  affix: Infix
+  associativity: left
+  meaningfull: "true"
+  # comments:
+
 Derivative:
   actual-precedence: 770
   Precedence: 670  # CSV has 604 which is wrong