Go over operator characters...

and add more information in operators YAML

mathics_scanner/data/OperatorTable.csv

@@ -174,11 +174,6 @@ 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.
 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.
@@ -143,12 +146,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: "//="
@@ -1342,11 +1345,11 @@ CircleTimes:
   wl-unicode: "\u2297"
   wl-unicode-name: CIRCLED TIMES
 
+# See comment under "Integrate".
 ClockwiseContourIntegral:
   esc-alias: ccint
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: ClockwiseContourIntegral
   unicode-equivalent: "\u2232"
   unicode-equivalent-name: CLOCKWISE CONTOUR INTEGRAL
   wl-unicode: "\u2232"
@@ -1474,7 +1477,6 @@ ContourIntegral:
   esc-alias: cint
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: ContourIntegral
   unicode-equivalent: "\u222E"
   unicode-equivalent-name: CONTOUR INTEGRAL
   wl-unicode: "\u222E"
@@ -1505,11 +1507,11 @@ Copyright:
   wl-unicode: "\xA9"
   wl-unicode-name: COPYRIGHT SIGN
 
+# See comment under "Integral".
 CounterClockwiseContourIntegral:
   esc-alias: cccint
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: CounterClockwiseContourIntegral
   unicode-equivalent: "\u2233"
   unicode-equivalent-name: ANTICLOCKWISE CONTOUR INTEGRAL
   wl-unicode: "\u2233"
@@ -1660,12 +1662,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.
 
@@ -1919,11 +1915,11 @@ DottedSquare:
   unicode-equivalent-name: SQUARE FOUR CORNERS
   wl-unicode: "\uF751"
 
+# See comment before "Integral".
 DoubleContourIntegral:
   amslatex: "\\oiint"
   has-unicode-inverse: false
   is-letter-like: false
-  operator-name: DoubleContourIntegral
   unicode-equivalent: "\u222F"
   unicode-equivalent-name: SURFACE INTEGRAL
   wl-unicode: "\u222F"
@@ -2677,7 +2673,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 +4961,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,13 +4992,15 @@ Information:
   is-letter-like: false
   operator-name: Information
 
+# While one might think that Integral is an WL operator, it is not.
+# The builtin function name is "Integrate". I imagine part of the
+# reason is the complexity in specifying it as an operator which takes
+# a min, max, a function, and some sort of derivative partial .
 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
   wl-unicode: "\u222B"
@@ -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