From 85fbbad41022680516b3c4b8a4dad4e5231ede91 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 29 Aug 2024 10:43:13 -0400 Subject: [PATCH 1/4] Simplify YAML --- mathics_scanner/data/named-characters.yml | 12 - mathics_scanner/data/operators.yml | 1318 +++++++---------- .../generate/build_operator_tables.py | 50 +- mathics_scanner/generate/build_tables.py | 12 +- .../generate/operator_csv_to_yml.py | 10 + 5 files changed, 535 insertions(+), 867 deletions(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index ab80889..162780f 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -25,17 +25,6 @@ # operator-name: If present, this symbol is a Mathics operator with # whose class name is the given name. For example Divide. # -# precedence: If present, this symbol is a Mathics operator with the -# specific numeric precedence value. A higher value means that -# the operator binds before an operator with a lower value. -# For example the Times precedence 400 is higher than the -# Plus precedence 310 because a + b * c is a + (b * c), -# not (a + b) * c. -# Precedence is also used to force multi-character ASCII -# symbols like |-> to get treated as one unit and not -# split into two operators like | and ->. So the precedence -# of |-> has to be higher than |. -# # unicode-equivalent: A unicode equivalent for the named-character, if it # exists. If it is the same as "ascii", please omit. # @@ -136,7 +125,6 @@ Alternative: has-unicode-inverse: false is-letter-like: false operator-name: Alternative - precedence: 160 Apply: ascii: "@@" diff --git a/mathics_scanner/data/operators.yml b/mathics_scanner/data/operators.yml index 8e74941..ab508b6 100644 --- a/mathics_scanner/data/operators.yml +++ b/mathics_scanner/data/operators.yml @@ -13,12 +13,27 @@ # The primary here used here is an "unofficial" operator name. This is the name used by # WL when there is one. When there is not a name, then we make one up. + +# Many fields below mention precedence. This is an integer used in +# specifying the order operations occur when one operator is +# juxtaposed against another operator. A higher value means that the +# operator binds before an operator with a lower value. + +# For example, the Times precedence 400 is higher than the Plus +# precedence 310 because a + b * c is a + (b * c), not (a + b) * c. +# Precedence is also used to force multi-character ASCII symbols like +# |-> to get treated as one unit and not split into two operators like +# | and ->. So the precedence of |-> has to be higher than |. +# + + # Field definitions # ================= # name: this is the WL name. When it exits it will also be the name of the key # actual-precedence: a precedence value that programs can use. # Precedence: the value returned for this operator using the WL function Precedence[] +# Precedence-corrected: the value used in Mathics3. # WolframLangageData: a value returned using WolframLangageData[???] # usage: when it exists, an example of the use of this operator # parse: when "usage" exists, a parse of the example @@ -43,8 +58,7 @@ AddTo: name: AddTo actual-precedence: 120 - Precedence: 100 - Precedence-corrected: 100 + precedence: 100 WolframLanguageData: 69 WolframLanguageData-corrected: 69 UnicodeCharacters.tr: @@ -64,8 +78,7 @@ AddTo: Alternatives: name: Alternatives actual-precedence: 190 - Precedence: 160 - Precedence-corrected: 160 + precedence: 160 WolframLanguageData: 63 WolframLanguageData-corrected: 64 UnicodeCharacters.tr: @@ -85,8 +98,8 @@ Alternatives: And: name: And actual-precedence: 290 - Precedence: 215 - Precedence-corrected: 220 + Precedence-Function: 215 + precedence: 220 WolframLanguageData: 55 WolframLanguageData-corrected: 55 UnicodeCharacters.tr: 330 @@ -106,8 +119,8 @@ And: AngleBracket: name: AngleBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -127,8 +140,8 @@ AngleBracket: Apply: name: Apply actual-precedence: 820 - Precedence: 620 - Precedence-corrected: 626 + Precedence-Function: 620 + precedence: 626 WolframLanguageData: 16 WolframLanguageData-corrected: 16 UnicodeCharacters.tr: @@ -148,8 +161,8 @@ Apply: ApplyFirstLevel: name: Apply actual-precedence: 810 - Precedence: 620 - Precedence-corrected: 625 + Precedence-Function: 620 + precedence: 625 WolframLanguageData: 16 WolframLanguageData-corrected: 16 UnicodeCharacters.tr: @@ -169,8 +182,8 @@ ApplyFirstLevel: Association: name: Association actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -190,8 +203,8 @@ Association: AutoMatch: name: AutoMatch actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -211,8 +224,7 @@ AutoMatch: Backslash: name: Backslash actual-precedence: 560 - Precedence: 460 - Precedence-corrected: 460 + precedence: 460 WolframLanguageData: 32 WolframLanguageData-corrected: 32 UnicodeCharacters.tr: 580 @@ -232,8 +244,7 @@ Backslash: Because: name: Because actual-precedence: 60 - Precedence: 50 - Precedence-corrected: 50 + precedence: 50 WolframLanguageData: 74 WolframLanguageData-corrected: 74 UnicodeCharacters.tr: 201 @@ -253,8 +264,8 @@ Because: BlackLenticularBracket: name: BlackLenticularBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -274,8 +285,7 @@ BlackLenticularBracket: Blank: name: Blank actual-precedence: 980 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -295,8 +305,7 @@ Blank: BlankHead: name: Blank actual-precedence: 1010 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -316,8 +325,7 @@ BlankHead: BlankNullSequence: name: BlankNullSequence actual-precedence: 980 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -337,8 +345,7 @@ BlankNullSequence: BlankNullSequenceHead: name: BlankNullSequence actual-precedence: 1010 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -358,8 +365,7 @@ BlankNullSequenceHead: BlankOptional: name: Blank actual-precedence: 980 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -379,8 +385,7 @@ BlankOptional: BlankSequence: name: BlankSequence actual-precedence: 980 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -400,8 +405,7 @@ BlankSequence: BlankSequenceHead: name: BlankSequence actual-precedence: 1010 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -421,8 +425,8 @@ BlankSequenceHead: BoxGroup: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -442,8 +446,8 @@ BoxGroup: BracketingBar: name: BracketingBar actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -463,8 +467,7 @@ BracketingBar: Cap: name: Cap actual-precedence: 450 - Precedence: 350 - Precedence-corrected: 350 + precedence: 350 WolframLanguageData: 43 WolframLanguageData-corrected: 42.5 UnicodeCharacters.tr: 470 @@ -484,8 +487,8 @@ Cap: CapitalDifferentialD: name: CapitalDifferentialD actual-precedence: 720 - Precedence: 550 - Precedence-corrected: 560 + Precedence-Function: 550 + precedence: 560 WolframLanguageData: WolframLanguageData-corrected: 23 UnicodeCharacters.tr: 630 @@ -505,8 +508,8 @@ CapitalDifferentialD: Ceiling: name: Ceiling actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -526,8 +529,7 @@ Ceiling: CenterDot: name: CenterDot actual-precedence: 510 - Precedence: 410 - Precedence-corrected: 410 + precedence: 410 WolframLanguageData: WolframLanguageData-corrected: 37 UnicodeCharacters.tr: 530 @@ -547,8 +549,7 @@ CenterDot: CircleDot: name: CircleDot actual-precedence: 660 - Precedence: 520 - Precedence-corrected: 520 + precedence: 520 WolframLanguageData: 26, 35, 37 WolframLanguageData-corrected: 26 UnicodeCharacters.tr: 605 @@ -568,8 +569,7 @@ CircleDot: CircleMinus: name: CircleMinus actual-precedence: 430 - Precedence: 330 - Precedence-corrected: 330 + precedence: 330 WolframLanguageData: 44 WolframLanguageData-corrected: 44 UnicodeCharacters.tr: 450 @@ -589,8 +589,7 @@ CircleMinus: CirclePlus: name: CirclePlus actual-precedence: 430 - Precedence: 330 - Precedence-corrected: 330 + precedence: 330 WolframLanguageData: 44 WolframLanguageData-corrected: 44 UnicodeCharacters.tr: 450 @@ -610,8 +609,7 @@ CirclePlus: CircleTimes: name: CircleTimes actual-precedence: 520 - Precedence: 420 - Precedence-corrected: 420 + precedence: 420 WolframLanguageData: WolframLanguageData-corrected: 36 UnicodeCharacters.tr: 540 @@ -631,8 +629,8 @@ CircleTimes: ClockwiseContourIntegral: name: ClockwiseContourIntegral actual-precedence: 420 - Precedence: 670 - Precedence-corrected: 325 + Precedence-Function: 670 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -652,8 +650,7 @@ ClockwiseContourIntegral: Colon: name: Colon actual-precedence: 100 - Precedence: 80 - Precedence-corrected: 80 + precedence: 80 WolframLanguageData: 71 WolframLanguageData-corrected: 71 UnicodeCharacters.tr: 205 @@ -673,8 +670,8 @@ Colon: Composition: name: Composition actual-precedence: 860 - Precedence: 625 - Precedence-corrected: 655 + Precedence-Function: 625 + precedence: 655 WolframLanguageData: 13 WolframLanguageData-corrected: 13 UnicodeCharacters.tr: @@ -694,8 +691,7 @@ Composition: CompoundExpression: name: CompoundExpression actual-precedence: 30 - Precedence: 10 - Precedence-corrected: 10 + precedence: 10 WolframLanguageData: 77 WolframLanguageData-corrected: 77 UnicodeCharacters.tr: @@ -715,8 +711,7 @@ CompoundExpression: CompoundExpressionNull: name: CompoundExpression actual-precedence: 30 - Precedence: 10 - Precedence-corrected: 10 + precedence: 10 WolframLanguageData: 77 WolframLanguageData-corrected: 77 UnicodeCharacters.tr: @@ -736,8 +731,7 @@ CompoundExpressionNull: Condition: name: Condition actual-precedence: 170 - Precedence: 130 - Precedence-corrected: 130 + precedence: 130 WolframLanguageData: 66 WolframLanguageData-corrected: 66 UnicodeCharacters.tr: @@ -757,8 +751,7 @@ Condition: Conditioned: name: Conditioned actual-precedence: 240 - Precedence: 195 - Precedence-corrected: 195 + precedence: 195 WolframLanguageData: WolframLanguageData-corrected: 59.5 UnicodeCharacters.tr: 305 @@ -778,8 +771,7 @@ Conditioned: Congruent: name: Congruent actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -799,8 +791,8 @@ Congruent: Conjugate: name: Conjugate actual-precedence: 780 - Precedence: 670 - Precedence-corrected: 605 + Precedence-Function: 670 + precedence: 605 WolframLanguageData: 18 WolframLanguageData-corrected: 18 UnicodeCharacters.tr: 695 @@ -820,8 +812,8 @@ Conjugate: ConjugateTranspose: name: ConjugateTranspose actual-precedence: 780 - Precedence: 670 - Precedence-corrected: 605 + Precedence-Function: 670 + precedence: 605 WolframLanguageData: 18 WolframLanguageData-corrected: 18 UnicodeCharacters.tr: 695 @@ -841,8 +833,8 @@ ConjugateTranspose: ContextPathSeparator: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -862,8 +854,7 @@ ContextPathSeparator: ContinuedFractionK: name: ContinuedFractionK actual-precedence: 480 - Precedence: 380 - Precedence-corrected: 380 + precedence: 380 WolframLanguageData: WolframLanguageData-corrected: 40 UnicodeCharacters.tr: 500 @@ -883,8 +874,8 @@ ContinuedFractionK: ContourIntegral: name: ContourIntegral actual-precedence: 420 - Precedence: 670 - Precedence-corrected: 325 + Precedence-Function: 670 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -904,8 +895,7 @@ ContourIntegral: Coproduct: name: Coproduct actual-precedence: 460 - Precedence: 360 - Precedence-corrected: 360 + precedence: 360 WolframLanguageData: 42 WolframLanguageData-corrected: 42 UnicodeCharacters.tr: 500 @@ -925,8 +915,8 @@ Coproduct: CornerBracket: name: CornerBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -946,8 +936,8 @@ CornerBracket: CounterClockwiseContourIntegral: name: CounterClockwiseContourIntegral actual-precedence: 420 - Precedence: 670 - Precedence-corrected: 325 + Precedence-Function: 670 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -967,8 +957,7 @@ CounterClockwiseContourIntegral: Cross: name: Cross actual-precedence: 640 - Precedence: 500 - Precedence-corrected: 500 + precedence: 500 WolframLanguageData: 28 WolframLanguageData-corrected: 28 UnicodeCharacters.tr: 603 @@ -988,8 +977,7 @@ Cross: Cup: name: Cup actual-precedence: 440 - Precedence: 340 - Precedence-corrected: 340 + precedence: 340 WolframLanguageData: 43 WolframLanguageData-corrected: 43 UnicodeCharacters.tr: 460 @@ -1009,8 +997,7 @@ Cup: CupCap: name: CupCap actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -1030,8 +1017,8 @@ CupCap: Curl: name: Curl actual-precedence: 590 - Precedence: 670 - Precedence-corrected: 485 + Precedence-Function: 670 + precedence: 485 WolframLanguageData: WolframLanguageData-corrected: 29.8 UnicodeCharacters.tr: 601 @@ -1051,8 +1038,8 @@ Curl: CurlyDoubleQuote: name: CurlyDoubleQuote actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -1072,8 +1059,8 @@ CurlyDoubleQuote: CurlyQuote: name: CurlyQuote actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -1093,8 +1080,8 @@ CurlyQuote: Decrement: name: Decrement actual-precedence: 880 - Precedence: 660 - Precedence-corrected: 665 + Precedence-Function: 660 + precedence: 665 WolframLanguageData: 11 WolframLanguageData-corrected: 11 UnicodeCharacters.tr: @@ -1114,8 +1101,7 @@ Decrement: Del: name: Del actual-precedence: 710 - Precedence: 550 - Precedence-corrected: 550 + precedence: 550 WolframLanguageData: 24 WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -1135,8 +1121,8 @@ Del: Derivative: name: Derivative actual-precedence: 770 - Precedence: 670 - Precedence-corrected: 604 + Precedence-Function: 670 + precedence: 604 WolframLanguageData: 19 WolframLanguageData-corrected: 19 UnicodeCharacters.tr: @@ -1156,8 +1142,7 @@ Derivative: Diamond: name: Diamond actual-precedence: 550 - Precedence: 450 - Precedence-corrected: 450 + precedence: 450 WolframLanguageData: 33 WolframLanguageData-corrected: 33 UnicodeCharacters.tr: 570 @@ -1177,8 +1162,7 @@ Diamond: DifferenceDelta: name: DifferenceDelta actual-precedence: 710 - Precedence: 550 - Precedence-corrected: 550 + precedence: 550 WolframLanguageData: 24 WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -1198,8 +1182,8 @@ DifferenceDelta: DifferentialD: name: DifferentialD actual-precedence: 720 - Precedence: 550 - Precedence-corrected: 560 + Precedence-Function: 550 + precedence: 560 WolframLanguageData: WolframLanguageData-corrected: 23 UnicodeCharacters.tr: 630 @@ -1219,8 +1203,7 @@ DifferentialD: DirectedEdge: name: DirectedEdge actual-precedence: 370 - Precedence: 295 - Precedence-corrected: 295 + precedence: 295 WolframLanguageData: WolframLanguageData-corrected: 49.0 UnicodeCharacters.tr: 395 @@ -1240,8 +1223,7 @@ DirectedEdge: DiscreteRatio: name: DiscreteRatio actual-precedence: 710 - Precedence: 550 - Precedence-corrected: 550 + precedence: 550 WolframLanguageData: 24 WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -1261,8 +1243,7 @@ DiscreteRatio: DiscreteShift: name: DiscreteShift actual-precedence: 710 - Precedence: 550 - Precedence-corrected: 550 + precedence: 550 WolframLanguageData: 24 WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -1282,8 +1263,7 @@ DiscreteShift: Distributed: name: Distributed actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -1303,8 +1283,8 @@ Distributed: Divergence: name: Divergence actual-precedence: 590 - Precedence: 550 - Precedence-corrected: 485 + Precedence-Function: 550 + precedence: 485 WolframLanguageData: WolframLanguageData-corrected: 29.8 UnicodeCharacters.tr: 601 @@ -1324,8 +1304,7 @@ Divergence: Divide: name: Divide actual-precedence: 570 - Precedence: 470 - Precedence-corrected: 470 + precedence: 470 WolframLanguageData: 31 WolframLanguageData-corrected: 31 UnicodeCharacters.tr: 590 @@ -1345,8 +1324,7 @@ Divide: DivideBy: name: DivideBy actual-precedence: 120 - Precedence: 100 - Precedence-corrected: 100 + precedence: 100 WolframLanguageData: 69 WolframLanguageData-corrected: 69 UnicodeCharacters.tr: @@ -1366,8 +1344,8 @@ DivideBy: Divides: name: Divides actual-precedence: 570 - Precedence: 670 - Precedence-corrected: 470 + Precedence-Function: 670 + precedence: 470 WolframLanguageData: WolframLanguageData-corrected: 31 UnicodeCharacters.tr: 590 @@ -1387,8 +1365,7 @@ Divides: Dot: name: Dot actual-precedence: 630 - Precedence: 490 - Precedence-corrected: 490 + precedence: 490 WolframLanguageData: 29 WolframLanguageData-corrected: 29 UnicodeCharacters.tr: @@ -1408,8 +1385,7 @@ Dot: DotEqual: name: DotEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -1429,8 +1405,8 @@ DotEqual: DoubleAngleBracket: name: DoubleAngleBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -1450,8 +1426,8 @@ DoubleAngleBracket: DoubleBracketingBar: name: DoubleBracketingBar actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -1471,8 +1447,8 @@ DoubleBracketingBar: DoubleContourIntegral: name: DoubleContourIntegral actual-precedence: 420 - Precedence: 670 - Precedence-corrected: 325 + Precedence-Function: 670 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -1492,8 +1468,7 @@ DoubleContourIntegral: DoubleDownArrow: name: DoubleDownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1513,8 +1488,7 @@ DoubleDownArrow: DoubleLeftArrow: name: DoubleLeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1534,8 +1508,7 @@ DoubleLeftArrow: DoubleLeftRightArrow: name: DoubleLeftRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1555,8 +1528,7 @@ DoubleLeftRightArrow: DoubleLeftTee: name: DoubleLeftTee actual-precedence: 220 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: 60 WolframLanguageData-corrected: 60 UnicodeCharacters.tr: 300 @@ -1576,8 +1548,7 @@ DoubleLeftTee: DoubleLongLeftArrow: name: DoubleLongLeftArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1597,8 +1568,7 @@ DoubleLongLeftArrow: DoubleLongLeftRightArrow: name: DoubleLongLeftRightArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1618,8 +1588,7 @@ DoubleLongLeftRightArrow: DoubleLongRightArrow: name: DoubleLongRightArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1639,8 +1608,7 @@ DoubleLongRightArrow: DoubleRightArrow: name: DoubleRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1660,8 +1628,7 @@ DoubleRightArrow: DoubleRightTee: name: DoubleRightTee actual-precedence: 230 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: WolframLanguageData-corrected: 59.6 UnicodeCharacters.tr: 300 @@ -1681,8 +1648,7 @@ DoubleRightTee: DoubleUpArrow: name: DoubleUpArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1702,8 +1668,7 @@ DoubleUpArrow: DoubleUpDownArrow: name: DoubleUpDownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1723,8 +1688,7 @@ DoubleUpDownArrow: DoubleVerticalBar: name: DoubleVerticalBar actual-precedence: 350 - Precedence: 280 - Precedence-corrected: 280 + precedence: 280 WolframLanguageData: 50 WolframLanguageData-corrected: 50.5 UnicodeCharacters.tr: 390 @@ -1744,8 +1708,7 @@ DoubleVerticalBar: DownArrow: name: DownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1765,8 +1728,7 @@ DownArrow: DownArrowBar: name: DownArrowBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1786,8 +1748,7 @@ DownArrowBar: DownArrowUpArrow: name: DownArrowUpArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1807,8 +1768,7 @@ DownArrowUpArrow: DownLeftRightVector: name: DownLeftRightVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1828,8 +1788,7 @@ DownLeftRightVector: DownLeftTeeVector: name: DownLeftTeeVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1849,8 +1808,7 @@ DownLeftTeeVector: DownLeftVector: name: DownLeftVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1870,8 +1828,7 @@ DownLeftVector: DownLeftVectorBar: name: DownLeftVectorBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1891,8 +1848,7 @@ DownLeftVectorBar: DownRightTeeVector: name: DownRightTeeVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1912,8 +1868,7 @@ DownRightTeeVector: DownRightVector: name: DownRightVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1933,8 +1888,7 @@ DownRightVector: DownRightVectorBar: name: DownRightVectorBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -1954,8 +1908,7 @@ DownRightVectorBar: DownTee: name: DownTee actual-precedence: 220 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: 60 WolframLanguageData-corrected: 60 UnicodeCharacters.tr: 300 @@ -1975,8 +1928,7 @@ DownTee: DownTeeArrow: name: DownTeeArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -1996,8 +1948,7 @@ DownTeeArrow: Element: name: Element actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: 52 WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -2017,8 +1968,7 @@ Element: Equal: name: Equal actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2038,8 +1988,7 @@ Equal: EqualTilde: name: EqualTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2059,8 +2008,7 @@ EqualTilde: Equilibrium: name: Equilibrium actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2080,8 +2028,7 @@ Equilibrium: Equivalent: name: Equivalent actual-precedence: 260 - Precedence: 205 - Precedence-corrected: 205 + precedence: 205 WolframLanguageData: 58 WolframLanguageData-corrected: 58 UnicodeCharacters.tr: 315 @@ -2101,8 +2048,7 @@ Equivalent: Exists: name: Exists actual-precedence: 310 - Precedence: 240 - Precedence-corrected: 240 + precedence: 240 WolframLanguageData: 53 WolframLanguageData-corrected: 53 UnicodeCharacters.tr: 350 @@ -2122,8 +2068,7 @@ Exists: ExpectationE: name: ExpectationE actual-precedence: 420 - Precedence: 325 - Precedence-corrected: 325 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -2143,8 +2088,7 @@ ExpectationE: Factorial: name: Factorial actual-precedence: 790 - Precedence: 610 - Precedence-corrected: 610 + precedence: 610 WolframLanguageData: 17 WolframLanguageData-corrected: 17 UnicodeCharacters.tr: @@ -2164,8 +2108,7 @@ Factorial: Factorial2: name: Factorial2 actual-precedence: 790 - Precedence: 610 - Precedence-corrected: 610 + precedence: 610 WolframLanguageData: 17 WolframLanguageData-corrected: 17 UnicodeCharacters.tr: @@ -2185,8 +2128,8 @@ Factorial2: Floor: name: Floor actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -2206,8 +2149,7 @@ Floor: ForAll: name: ForAll actual-precedence: 310 - Precedence: 240 - Precedence-corrected: 240 + precedence: 240 WolframLanguageData: 53 WolframLanguageData-corrected: 53 UnicodeCharacters.tr: 350 @@ -2227,8 +2169,8 @@ ForAll: FormBox: name: FormBox actual-precedence: 20 - Precedence: 670 - Precedence-corrected: 5 + Precedence-Function: 670 + precedence: 5 WolframLanguageData: 78 WolframLanguageData-corrected: 78 UnicodeCharacters.tr: @@ -2248,8 +2190,8 @@ FormBox: FractionBox: name: FractionBox actual-precedence: 570 - Precedence: 670 - Precedence-corrected: 470 + Precedence-Function: 670 + precedence: 470 WolframLanguageData: WolframLanguageData-corrected: 31 UnicodeCharacters.tr: @@ -2269,8 +2211,8 @@ FractionBox: FullwidthAngleBracket: name: FullwidthAngleBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -2290,8 +2232,8 @@ FullwidthAngleBracket: FullwidthCurlyBracket: name: FullwidthCurlyBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -2311,8 +2253,8 @@ FullwidthCurlyBracket: FullwidthParenthesis: name: FullwidthParenthesis actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -2332,8 +2274,8 @@ FullwidthParenthesis: FullwidthSquareBracket: name: FullwidthSquareBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -2353,8 +2295,7 @@ FullwidthSquareBracket: Function: name: Function actual-precedence: 110 - Precedence: 90 - Precedence-corrected: 90 + precedence: 90 WolframLanguageData: 70 WolframLanguageData-corrected: 70 UnicodeCharacters.tr: @@ -2374,8 +2315,7 @@ Function: FunctionApply: name: None actual-precedence: 890 - Precedence: 670 - Precedence-corrected: 670 + precedence: 670 WolframLanguageData: WolframLanguageData-corrected: 10 UnicodeCharacters.tr: @@ -2395,8 +2335,7 @@ FunctionApply: FunctionApplyInfix: name: Infix actual-precedence: 830 - Precedence: 630 - Precedence-corrected: 630 + precedence: 630 WolframLanguageData: WolframLanguageData-corrected: 15 UnicodeCharacters.tr: @@ -2416,8 +2355,7 @@ FunctionApplyInfix: FunctionApplyPostfix: name: Postfix actual-precedence: 90 - Precedence: 70 - Precedence-corrected: 70 + precedence: 70 WolframLanguageData: WolframLanguageData-corrected: 72 UnicodeCharacters.tr: @@ -2437,8 +2375,7 @@ FunctionApplyPostfix: FunctionApplyPrefix: name: Prefix actual-precedence: 840 - Precedence: 640 - Precedence-corrected: 640 + precedence: 640 WolframLanguageData: WolframLanguageData-corrected: 14 UnicodeCharacters.tr: 730 @@ -2458,8 +2395,7 @@ FunctionApplyPrefix: Get: name: Get actual-precedence: 970 - Precedence: 720 - Precedence-corrected: 720 + precedence: 720 WolframLanguageData: 6 WolframLanguageData-corrected: 6 UnicodeCharacters.tr: @@ -2479,8 +2415,8 @@ Get: Gradient: name: Gradient actual-precedence: 700 - Precedence: 550 - Precedence-corrected: 545 + Precedence-Function: 550 + precedence: 545 WolframLanguageData: WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 615 @@ -2500,8 +2436,7 @@ Gradient: Greater: name: Greater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: @@ -2521,8 +2456,7 @@ Greater: GreaterEqual: name: GreaterEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2542,8 +2476,7 @@ GreaterEqual: GreaterEqualLess: name: GreaterEqualLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2563,8 +2496,7 @@ GreaterEqualLess: GreaterFullEqual: name: GreaterFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2584,8 +2516,7 @@ GreaterFullEqual: GreaterGreater: name: GreaterGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2605,8 +2536,7 @@ GreaterGreater: GreaterLess: name: GreaterLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2626,8 +2556,8 @@ GreaterLess: GreaterSlantEqual: name: GreaterSlantEqual actual-precedence: 360 - Precedence: 670 - Precedence-corrected: 290 + Precedence-Function: 670 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2647,8 +2577,7 @@ GreaterSlantEqual: GreaterTilde: name: GreaterTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2668,8 +2597,7 @@ GreaterTilde: HumpDownHump: name: HumpDownHump actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2689,8 +2617,7 @@ HumpDownHump: HumpEqual: name: HumpEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -2710,8 +2637,8 @@ HumpEqual: ImplicitSequence: name: Comma actual-precedence: 10 - Precedence: 670 - Precedence-corrected: 755 + Precedence-Function: 670 + precedence: 755 WolframLanguageData: WolframLanguageData-corrected: 79 UnicodeCharacters.tr: 1 @@ -2731,8 +2658,7 @@ ImplicitSequence: Implies: name: Implies actual-precedence: 250 - Precedence: 200 - Precedence-corrected: 200 + precedence: 200 WolframLanguageData: 59 WolframLanguageData-corrected: 59 UnicodeCharacters.tr: 310 @@ -2752,8 +2678,8 @@ Implies: Increment: name: Increment actual-precedence: 880 - Precedence: 660 - Precedence-corrected: 665 + Precedence-Function: 660 + precedence: 665 WolframLanguageData: 11 WolframLanguageData-corrected: 11 UnicodeCharacters.tr: @@ -2773,8 +2699,8 @@ Increment: InlinePart: name: InlinePart actual-precedence: 900 - Precedence: 670 - Precedence-corrected: 675 + Precedence-Function: 670 + precedence: 675 WolframLanguageData: WolframLanguageData-corrected: 9.5 UnicodeCharacters.tr: 763 @@ -2794,8 +2720,7 @@ InlinePart: Integrate: name: Integral actual-precedence: 420 - Precedence: 325 - Precedence-corrected: 325 + precedence: 325 WolframLanguageData: 23 WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -2815,8 +2740,8 @@ Integrate: InterpretBoxes: name: None actual-precedence: 930 - Precedence: 670 - Precedence-corrected: 695 + Precedence-Function: 670 + precedence: 695 WolframLanguageData: WolframLanguageData-corrected: 7.6 UnicodeCharacters.tr: @@ -2836,8 +2761,7 @@ InterpretBoxes: Intersection: name: Intersection actual-precedence: 390 - Precedence: 305 - Precedence-corrected: 305 + precedence: 305 WolframLanguageData: 47 WolframLanguageData-corrected: 47 UnicodeCharacters.tr: 420 @@ -2857,8 +2781,8 @@ Intersection: InvisiblePostfixScriptBase: name: InvisiblePostfixScriptBase actual-precedence: 960 - Precedence: 670 - Precedence-corrected: 715 + Precedence-Function: 670 + precedence: 715 WolframLanguageData: WolframLanguageData-corrected: 6.5 UnicodeCharacters.tr: 800 @@ -2878,8 +2802,8 @@ InvisiblePostfixScriptBase: InvisiblePrefixScriptBase: name: InvisiblePrefixScriptBase actual-precedence: 960 - Precedence: 670 - Precedence-corrected: 715 + Precedence-Function: 670 + precedence: 715 WolframLanguageData: WolframLanguageData-corrected: 6.5 UnicodeCharacters.tr: 800 @@ -2899,8 +2823,8 @@ InvisiblePrefixScriptBase: Laplacian: name: Laplacian actual-precedence: 710 - Precedence: 670 - Precedence-corrected: 550 + Precedence-Function: 670 + precedence: 550 WolframLanguageData: WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -2920,8 +2844,7 @@ Laplacian: LeftArrow: name: LeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -2941,8 +2864,7 @@ LeftArrow: LeftArrowBar: name: LeftArrowBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -2962,8 +2884,7 @@ LeftArrowBar: LeftArrowRightArrow: name: LeftArrowRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -2983,8 +2904,7 @@ LeftArrowRightArrow: LeftDownTeeVector: name: LeftDownTeeVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3004,8 +2924,7 @@ LeftDownTeeVector: LeftDownVector: name: LeftDownVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3025,8 +2944,7 @@ LeftDownVector: LeftDownVectorBar: name: LeftDownVectorBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3046,8 +2964,7 @@ LeftDownVectorBar: LeftRightArrow: name: LeftRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3067,8 +2984,7 @@ LeftRightArrow: LeftRightVector: name: LeftRightVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3088,8 +3004,7 @@ LeftRightVector: LeftTee: name: LeftTee actual-precedence: 220 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: 60 WolframLanguageData-corrected: 60 UnicodeCharacters.tr: 300 @@ -3109,8 +3024,7 @@ LeftTee: LeftTeeArrow: name: LeftTeeArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3130,8 +3044,7 @@ LeftTeeArrow: LeftTeeVector: name: LeftTeeVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3151,8 +3064,7 @@ LeftTeeVector: LeftTriangle: name: LeftTriangle actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3172,8 +3084,7 @@ LeftTriangle: LeftTriangleBar: name: LeftTriangleBar actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3193,8 +3104,7 @@ LeftTriangleBar: LeftTriangleEqual: name: LeftTriangleEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3214,8 +3124,7 @@ LeftTriangleEqual: LeftUpDownVector: name: LeftUpDownVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3235,8 +3144,7 @@ LeftUpDownVector: LeftUpTeeVector: name: LeftUpTeeVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3256,8 +3164,7 @@ LeftUpTeeVector: LeftUpVector: name: LeftUpVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3277,8 +3184,7 @@ LeftUpVector: LeftUpVectorBar: name: LeftUpVectorBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3298,8 +3204,7 @@ LeftUpVectorBar: LeftVector: name: LeftVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3319,8 +3224,7 @@ LeftVector: LeftVectorBar: name: LeftVectorBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3340,8 +3244,7 @@ LeftVectorBar: Less: name: Less actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: @@ -3361,8 +3264,7 @@ Less: LessEqual: name: LessEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3382,8 +3284,7 @@ LessEqual: LessEqualGreater: name: LessEqualGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3403,8 +3304,7 @@ LessEqualGreater: LessFullEqual: name: LessFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3424,8 +3324,7 @@ LessFullEqual: LessGreater: name: LessGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3445,8 +3344,7 @@ LessGreater: LessLess: name: LessLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3466,8 +3364,8 @@ LessLess: LessSlantEqual: name: LessSlantEqual actual-precedence: 360 - Precedence: 670 - Precedence-corrected: 290 + Precedence-Function: 670 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3487,8 +3385,7 @@ LessSlantEqual: LessTilde: name: LessTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3508,8 +3405,7 @@ LessTilde: Limit: name: Limit actual-precedence: 410 - Precedence: 320 - Precedence-corrected: 320 + precedence: 320 WolframLanguageData: WolframLanguageData-corrected: 45.5 UnicodeCharacters.tr: 440 @@ -3529,8 +3425,8 @@ Limit: List: name: List actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: 1 WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -3550,8 +3446,7 @@ List: LongLeftArrow: name: LongLeftArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3571,8 +3466,7 @@ LongLeftArrow: LongLeftRightArrow: name: LongLeftRightArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3592,8 +3486,7 @@ LongLeftRightArrow: LongRightArrow: name: LongRightArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -3613,8 +3506,7 @@ LongRightArrow: LowerLeftArrow: name: LowerLeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3634,8 +3526,7 @@ LowerLeftArrow: LowerRightArrow: name: LowerRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -3655,8 +3546,7 @@ LowerRightArrow: Map: name: Map actual-precedence: 800 - Precedence: 620 - Precedence-corrected: 620 + precedence: 620 WolframLanguageData: 16 WolframLanguageData-corrected: 16 UnicodeCharacters.tr: @@ -3676,8 +3566,7 @@ Map: MapAll: name: MapAll actual-precedence: 800 - Precedence: 620 - Precedence-corrected: 620 + precedence: 620 WolframLanguageData: 16 WolframLanguageData-corrected: 16 UnicodeCharacters.tr: @@ -3697,8 +3586,7 @@ MapAll: MaxLimit: name: MaxLimit actual-precedence: 410 - Precedence: 320 - Precedence-corrected: 320 + precedence: 320 WolframLanguageData: WolframLanguageData-corrected: 45.5 UnicodeCharacters.tr: 440 @@ -3718,8 +3606,7 @@ MaxLimit: MessageName: name: MessageName actual-precedence: 1060 - Precedence: 750 - Precedence-corrected: 750 + precedence: 750 WolframLanguageData: 2 WolframLanguageData-corrected: 2 UnicodeCharacters.tr: @@ -3739,8 +3626,7 @@ MessageName: MinLimit: name: MinLimit actual-precedence: 410 - Precedence: 320 - Precedence-corrected: 320 + precedence: 320 WolframLanguageData: WolframLanguageData-corrected: 45.5 UnicodeCharacters.tr: 440 @@ -3760,8 +3646,7 @@ MinLimit: Minus: name: Minus actual-precedence: 580 - Precedence: 480 - Precedence-corrected: 480 + precedence: 480 WolframLanguageData: 30 WolframLanguageData-corrected: 30 UnicodeCharacters.tr: 430 @@ -3781,8 +3666,7 @@ Minus: MinusPlus: name: MinusPlus actual-precedence: 400 - Precedence: 310 - Precedence-corrected: 310 + precedence: 310 WolframLanguageData: 46 WolframLanguageData-corrected: 46 UnicodeCharacters.tr: 430 @@ -3802,8 +3686,7 @@ MinusPlus: NamedBlank: name: Blank actual-precedence: 990 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3823,8 +3706,7 @@ NamedBlank: NamedBlankHead: name: Blank actual-precedence: 1000 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3844,8 +3726,7 @@ NamedBlankHead: NamedBlankNullSequence: name: BlankNullSequence actual-precedence: 990 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3865,8 +3746,7 @@ NamedBlankNullSequence: NamedBlankNullSequenceHead: name: BlankNullSequence actual-precedence: 1000 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3886,8 +3766,7 @@ NamedBlankNullSequenceHead: NamedBlankOptional: name: Blank actual-precedence: 990 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3907,8 +3786,7 @@ NamedBlankOptional: NamedBlankSequence: name: BlankSequence actual-precedence: 990 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3928,8 +3806,7 @@ NamedBlankSequence: NamedBlankSequenceHead: name: BlankSequence actual-precedence: 1000 - Precedence: 730 - Precedence-corrected: 730 + precedence: 730 WolframLanguageData: 5 WolframLanguageData-corrected: 5 UnicodeCharacters.tr: @@ -3949,8 +3826,8 @@ NamedBlankSequenceHead: Nand: name: Nand actual-precedence: 290 - Precedence: 215 - Precedence-corrected: 220 + Precedence-Function: 215 + precedence: 220 WolframLanguageData: 55 WolframLanguageData-corrected: 55 UnicodeCharacters.tr: 330 @@ -3970,8 +3847,7 @@ Nand: NestedGreaterGreater: name: NestedGreaterGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -3991,8 +3867,7 @@ NestedGreaterGreater: NestedLessLess: name: NestedLessLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4012,8 +3887,7 @@ NestedLessLess: NonCommutativeMultiply: name: NonCommutativeMultiply actual-precedence: 650 - Precedence: 510 - Precedence-corrected: 510 + precedence: 510 WolframLanguageData: 27 WolframLanguageData-corrected: 27 UnicodeCharacters.tr: @@ -4033,8 +3907,8 @@ NonCommutativeMultiply: Nor: name: Nor actual-precedence: 270 - Precedence: 215 - Precedence-corrected: 210 + Precedence-Function: 215 + precedence: 210 WolframLanguageData: 57 WolframLanguageData-corrected: 57 UnicodeCharacters.tr: 320 @@ -4054,8 +3928,7 @@ Nor: Not: name: Not actual-precedence: 300 - Precedence: 230 - Precedence-corrected: 230 + precedence: 230 WolframLanguageData: 54 WolframLanguageData-corrected: 54 UnicodeCharacters.tr: 340 @@ -4075,8 +3948,7 @@ Not: NotCongruent: name: NotCongruent actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4096,8 +3968,7 @@ NotCongruent: NotCupCap: name: NotCupCap actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4117,8 +3988,7 @@ NotCupCap: NotDoubleVerticalBar: name: NotDoubleVerticalBar actual-precedence: 350 - Precedence: 280 - Precedence-corrected: 280 + precedence: 280 WolframLanguageData: 50 WolframLanguageData-corrected: 50.5 UnicodeCharacters.tr: 390 @@ -4138,8 +4008,7 @@ NotDoubleVerticalBar: NotElement: name: NotElement actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: 52 WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4159,8 +4028,7 @@ NotElement: NotEqualTilde: name: NotEqualTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4180,8 +4048,7 @@ NotEqualTilde: NotExists: name: NotExists actual-precedence: 310 - Precedence: 240 - Precedence-corrected: 240 + precedence: 240 WolframLanguageData: 53 WolframLanguageData-corrected: 53 UnicodeCharacters.tr: 350 @@ -4201,8 +4068,7 @@ NotExists: NotGreater: name: NotGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4222,8 +4088,7 @@ NotGreater: NotGreaterEqual: name: NotGreaterEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4243,8 +4108,7 @@ NotGreaterEqual: NotGreaterFullEqual: name: NotGreaterFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4264,8 +4128,7 @@ NotGreaterFullEqual: NotGreaterGreater: name: NotGreaterGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4285,8 +4148,7 @@ NotGreaterGreater: NotGreaterLess: name: NotGreaterLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4306,8 +4168,7 @@ NotGreaterLess: NotGreaterSlantEqual: name: NotGreaterSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4327,8 +4188,7 @@ NotGreaterSlantEqual: NotGreaterTilde: name: NotGreaterTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4348,8 +4208,7 @@ NotGreaterTilde: NotHumpDownHump: name: NotHumpDownHump actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4369,8 +4228,7 @@ NotHumpDownHump: NotHumpEqual: name: NotHumpEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4390,8 +4248,7 @@ NotHumpEqual: NotLeftTriangle: name: NotLeftTriangle actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4411,8 +4268,7 @@ NotLeftTriangle: NotLeftTriangleBar: name: NotLeftTriangleBar actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4432,8 +4288,7 @@ NotLeftTriangleBar: NotLeftTriangleEqual: name: NotLeftTriangleEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4453,8 +4308,7 @@ NotLeftTriangleEqual: NotLess: name: NotLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4474,8 +4328,7 @@ NotLess: NotLessEqual: name: NotLessEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4495,8 +4348,7 @@ NotLessEqual: NotLessFullEqual: name: NotLessFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4516,8 +4368,7 @@ NotLessFullEqual: NotLessGreater: name: NotLessGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4537,8 +4388,7 @@ NotLessGreater: NotLessLess: name: NotLessLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4558,8 +4408,7 @@ NotLessLess: NotLessSlantEqual: name: NotLessSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4579,8 +4428,7 @@ NotLessSlantEqual: NotLessTilde: name: NotLessTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4600,8 +4448,7 @@ NotLessTilde: NotNestedGreaterGreater: name: NotNestedGreaterGreater actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4621,8 +4468,7 @@ NotNestedGreaterGreater: NotNestedLessLess: name: NotNestedLessLess actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4642,8 +4488,7 @@ NotNestedLessLess: NotPrecedes: name: NotPrecedes actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4663,8 +4508,7 @@ NotPrecedes: NotPrecedesEqual: name: NotPrecedesEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4684,8 +4528,7 @@ NotPrecedesEqual: NotPrecedesSlantEqual: name: NotPrecedesSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4705,8 +4548,7 @@ NotPrecedesSlantEqual: NotPrecedesTilde: name: NotPrecedesTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4726,8 +4568,7 @@ NotPrecedesTilde: NotReverseElement: name: NotReverseElement actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4747,8 +4588,7 @@ NotReverseElement: NotRightTriangle: name: NotRightTriangle actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4768,8 +4608,7 @@ NotRightTriangle: NotRightTriangleBar: name: NotRightTriangleBar actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4789,8 +4628,7 @@ NotRightTriangleBar: NotRightTriangleEqual: name: NotRightTriangleEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4810,8 +4648,7 @@ NotRightTriangleEqual: NotSquareSubset: name: NotSquareSubset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4831,8 +4668,7 @@ NotSquareSubset: NotSquareSubsetEqual: name: NotSquareSubsetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4852,8 +4688,7 @@ NotSquareSubsetEqual: NotSquareSuperset: name: NotSquareSuperset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4873,8 +4708,7 @@ NotSquareSuperset: NotSquareSupersetEqual: name: NotSquareSupersetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4894,8 +4728,7 @@ NotSquareSupersetEqual: NotSubset: name: NotSubset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4915,8 +4748,7 @@ NotSubset: NotSubsetEqual: name: NotSubsetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -4936,8 +4768,7 @@ NotSubsetEqual: NotSucceeds: name: NotSucceeds actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4957,8 +4788,7 @@ NotSucceeds: NotSucceedsEqual: name: NotSucceedsEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4978,8 +4808,7 @@ NotSucceedsEqual: NotSucceedsSlantEqual: name: NotSucceedsSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -4999,8 +4828,7 @@ NotSucceedsSlantEqual: NotSucceedsTilde: name: NotSucceedsTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5020,8 +4848,7 @@ NotSucceedsTilde: NotSuperset: name: NotSuperset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -5041,8 +4868,7 @@ NotSuperset: NotSupersetEqual: name: NotSupersetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -5062,8 +4888,7 @@ NotSupersetEqual: NotTilde: name: NotTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5083,8 +4908,7 @@ NotTilde: NotTildeEqual: name: NotTildeEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5104,8 +4928,7 @@ NotTildeEqual: NotTildeFullEqual: name: NotTildeFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5125,8 +4948,7 @@ NotTildeFullEqual: NotTildeTilde: name: NotTildeTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5146,8 +4968,7 @@ NotTildeTilde: NotVerticalBar: name: NotVerticalBar actual-precedence: 350 - Precedence: 280 - Precedence-corrected: 280 + precedence: 280 WolframLanguageData: 50 WolframLanguageData-corrected: 50.5 UnicodeCharacters.tr: 390 @@ -5167,8 +4988,8 @@ NotVerticalBar: NumberAccuracy: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5188,8 +5009,8 @@ NumberAccuracy: NumberBase: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5209,8 +5030,8 @@ NumberBase: NumberMagnitude: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5230,8 +5051,8 @@ NumberMagnitude: NumberPrecision: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5251,8 +5072,8 @@ NumberPrecision: NumberPrecisionPostfix: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5272,8 +5093,7 @@ NumberPrecisionPostfix: Optional: name: Optional actual-precedence: 190 - Precedence: 140 - Precedence-corrected: 140 + precedence: 140 WolframLanguageData: 64 WolframLanguageData-corrected: 64 UnicodeCharacters.tr: @@ -5293,8 +5113,8 @@ Optional: Or: name: Or actual-precedence: 270 - Precedence: 215 - Precedence-corrected: 210 + Precedence-Function: 215 + precedence: 210 WolframLanguageData: 57 WolframLanguageData-corrected: 57 UnicodeCharacters.tr: 320 @@ -5314,8 +5134,8 @@ Or: Out: name: Out actual-precedence: 1030 - Precedence: 670 - Precedence-corrected: 735 + Precedence-Function: 670 + precedence: 735 WolframLanguageData: 4 WolframLanguageData-corrected: 4 UnicodeCharacters.tr: @@ -5335,8 +5155,8 @@ Out: OutNumber: name: Out actual-precedence: 1020 - Precedence: 670 - Precedence-corrected: 735 + Precedence-Function: 670 + precedence: 735 WolframLanguageData: 4 WolframLanguageData-corrected: 4 UnicodeCharacters.tr: @@ -5356,8 +5176,8 @@ OutNumber: OverscriptBox: name: Overscript actual-precedence: 950 - Precedence: 670 - Precedence-corrected: 710 + Precedence-Function: 670 + precedence: 710 WolframLanguageData: 7 WolframLanguageData-corrected: 7 UnicodeCharacters.tr: @@ -5377,8 +5197,8 @@ OverscriptBox: OverunderscriptBox: name: Underoverscript actual-precedence: 940 - Precedence: 670 - Precedence-corrected: 700 + Precedence-Function: 670 + precedence: 700 WolframLanguageData: 7 WolframLanguageData-corrected: 7.5 UnicodeCharacters.tr: @@ -5398,8 +5218,8 @@ OverunderscriptBox: ParameterizedFunction: name: Function actual-precedence: 50 - Precedence: 90 - Precedence-corrected: 40 + Precedence-Function: 90 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: 190 @@ -5419,8 +5239,8 @@ ParameterizedFunction: Parentheses: name: None actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: @@ -5440,8 +5260,7 @@ Parentheses: Part: name: Part actual-precedence: 890 - Precedence: 670 - Precedence-corrected: 670 + precedence: 670 WolframLanguageData: 10 WolframLanguageData-corrected: 10 UnicodeCharacters.tr: @@ -5461,8 +5280,8 @@ Part: PartialD: name: PartialD actual-precedence: 710 - Precedence: 670 - Precedence-corrected: 550 + Precedence-Function: 670 + precedence: 550 WolframLanguageData: 24 WolframLanguageData-corrected: 24 UnicodeCharacters.tr: 620 @@ -5482,8 +5301,8 @@ PartialD: PartialFractionBox: name: PartialFractionBox actual-precedence: 570 - Precedence: 670 - Precedence-corrected: 470 + Precedence-Function: 670 + precedence: 470 WolframLanguageData: WolframLanguageData-corrected: 31 UnicodeCharacters.tr: @@ -5503,8 +5322,8 @@ PartialFractionBox: PartialOverscriptBox: name: PartialOverscriptBox actual-precedence: 950 - Precedence: 670 - Precedence-corrected: 710 + Precedence-Function: 670 + precedence: 710 WolframLanguageData: WolframLanguageData-corrected: 7 UnicodeCharacters.tr: @@ -5524,8 +5343,8 @@ PartialOverscriptBox: PartialSubscriptBox: name: PartialSubscriptBox actual-precedence: 920 - Precedence: 670 - Precedence-corrected: 690 + Precedence-Function: 670 + precedence: 690 WolframLanguageData: WolframLanguageData-corrected: 8 UnicodeCharacters.tr: @@ -5545,8 +5364,8 @@ PartialSubscriptBox: PartialSuperscriptBox: name: PartialSuperscriptBox actual-precedence: 750 - Precedence: 670 - Precedence-corrected: 590 + Precedence-Function: 670 + precedence: 590 WolframLanguageData: WolframLanguageData-corrected: 21 UnicodeCharacters.tr: @@ -5566,8 +5385,8 @@ PartialSuperscriptBox: PartialUnderscriptBox: name: PartialUnderscriptBox actual-precedence: 950 - Precedence: 670 - Precedence-corrected: 710 + Precedence-Function: 670 + precedence: 710 WolframLanguageData: WolframLanguageData-corrected: 7 UnicodeCharacters.tr: @@ -5587,8 +5406,7 @@ PartialUnderscriptBox: Pattern: name: Pattern actual-precedence: 190 - Precedence: 150 - Precedence-corrected: 150 + precedence: 150 WolframLanguageData: 64 WolframLanguageData-corrected: 64 UnicodeCharacters.tr: @@ -5608,8 +5426,7 @@ Pattern: PatternTest: name: PatternTest actual-precedence: 910 - Precedence: 680 - Precedence-corrected: 680 + precedence: 680 WolframLanguageData: 9 WolframLanguageData-corrected: 9 UnicodeCharacters.tr: @@ -5629,8 +5446,8 @@ PatternTest: PermutationProduct: name: PermutationProduct actual-precedence: 600 - Precedence: 520 - Precedence-corrected: 486 + Precedence-Function: 520 + precedence: 486 WolframLanguageData: WolframLanguageData-corrected: 29.7 UnicodeCharacters.tr: 605 @@ -5650,8 +5467,7 @@ PermutationProduct: Perpendicular: name: Perpendicular actual-precedence: 220 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: WolframLanguageData-corrected: 60 UnicodeCharacters.tr: 390 @@ -5671,8 +5487,8 @@ Perpendicular: Piecewise: name: Piecewise actual-precedence: 680 - Precedence: 480 - Precedence-corrected: 535 + Precedence-Function: 480 + precedence: 535 WolframLanguageData: 1 WolframLanguageData-corrected: 25.5 UnicodeCharacters.tr: 600 @@ -5692,8 +5508,7 @@ Piecewise: Plus: name: Plus actual-precedence: 400 - Precedence: 310 - Precedence-corrected: 310 + precedence: 310 WolframLanguageData: 46 WolframLanguageData-corrected: 46 UnicodeCharacters.tr: @@ -5713,8 +5528,7 @@ Plus: PlusMinus: name: PlusMinus actual-precedence: 400 - Precedence: 310 - Precedence-corrected: 310 + precedence: 310 WolframLanguageData: 46 WolframLanguageData-corrected: 46 UnicodeCharacters.tr: 430 @@ -5734,8 +5548,7 @@ PlusMinus: Power: name: Power actual-precedence: 750 - Precedence: 590 - Precedence-corrected: 590 + precedence: 590 WolframLanguageData: 21 WolframLanguageData-corrected: 21 UnicodeCharacters.tr: @@ -5755,8 +5568,7 @@ Power: PreDecrement: name: PreDecrement actual-precedence: 870 - Precedence: 660 - Precedence-corrected: 660 + precedence: 660 WolframLanguageData: 12 WolframLanguageData-corrected: 12 UnicodeCharacters.tr: @@ -5776,8 +5588,7 @@ PreDecrement: PreIncrement: name: PreIncrement actual-precedence: 870 - Precedence: 660 - Precedence-corrected: 660 + precedence: 660 WolframLanguageData: 12 WolframLanguageData-corrected: 12 UnicodeCharacters.tr: @@ -5797,8 +5608,7 @@ PreIncrement: Precedes: name: Precedes actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5818,8 +5628,7 @@ Precedes: PrecedesEqual: name: PrecedesEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5839,8 +5648,7 @@ PrecedesEqual: PrecedesSlantEqual: name: PrecedesSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5860,8 +5668,7 @@ PrecedesSlantEqual: PrecedesTilde: name: PrecedesTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5881,8 +5688,7 @@ PrecedesTilde: ProbabilityPr: name: ProbabilityPr actual-precedence: 420 - Precedence: 325 - Precedence-corrected: 325 + precedence: 325 WolframLanguageData: WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 455 @@ -5902,8 +5708,7 @@ ProbabilityPr: Product: name: Product actual-precedence: 480 - Precedence: 380 - Precedence-corrected: 380 + precedence: 380 WolframLanguageData: 40 WolframLanguageData-corrected: 40 UnicodeCharacters.tr: 500 @@ -5923,8 +5728,7 @@ Product: Proportion: name: Proportion actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5944,8 +5748,7 @@ Proportion: Proportional: name: Proportional actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -5965,8 +5768,7 @@ Proportional: Put: name: Put actual-precedence: 40 - Precedence: 30 - Precedence-corrected: 30 + precedence: 30 WolframLanguageData: 76 WolframLanguageData-corrected: 76 UnicodeCharacters.tr: @@ -5986,8 +5788,7 @@ Put: PutAppend: name: PutAppend actual-precedence: 40 - Precedence: 30 - Precedence-corrected: 30 + precedence: 30 WolframLanguageData: 76 WolframLanguageData-corrected: 76 UnicodeCharacters.tr: @@ -6007,8 +5808,8 @@ PutAppend: RadicalBox: name: RadicalBox actual-precedence: 730 - Precedence: 670 - Precedence-corrected: 570 + Precedence-Function: 670 + precedence: 570 WolframLanguageData: 22 WolframLanguageData-corrected: 22 UnicodeCharacters.tr: @@ -6028,8 +5829,7 @@ RadicalBox: Repeated: name: Repeated actual-precedence: 200 - Precedence: 170 - Precedence-corrected: 170 + precedence: 170 WolframLanguageData: 62 WolframLanguageData-corrected: 62 UnicodeCharacters.tr: @@ -6049,8 +5849,7 @@ Repeated: RepeatedNull: name: RepeatedNull actual-precedence: 200 - Precedence: 170 - Precedence-corrected: 170 + precedence: 170 WolframLanguageData: 62 WolframLanguageData-corrected: 62 UnicodeCharacters.tr: @@ -6070,8 +5869,7 @@ RepeatedNull: ReplaceAll: name: ReplaceAll actual-precedence: 130 - Precedence: 110 - Precedence-corrected: 110 + precedence: 110 WolframLanguageData: 68 WolframLanguageData-corrected: 68 UnicodeCharacters.tr: @@ -6091,8 +5889,7 @@ ReplaceAll: ReplaceRepeated: name: ReplaceRepeated actual-precedence: 130 - Precedence: 110 - Precedence-corrected: 110 + precedence: 110 WolframLanguageData: 68 WolframLanguageData-corrected: 68 UnicodeCharacters.tr: @@ -6112,8 +5909,7 @@ ReplaceRepeated: ReverseElement: name: ReverseElement actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -6133,8 +5929,7 @@ ReverseElement: ReverseEquilibrium: name: ReverseEquilibrium actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -6154,8 +5949,7 @@ ReverseEquilibrium: ReverseUpEquilibrium: name: ReverseUpEquilibrium actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6175,8 +5969,7 @@ ReverseUpEquilibrium: RightArrow: name: RightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6196,8 +5989,7 @@ RightArrow: RightArrowBar: name: RightArrowBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6217,8 +6009,7 @@ RightArrowBar: RightArrowLeftArrow: name: RightArrowLeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6238,8 +6029,8 @@ RightArrowLeftArrow: RightComposition: name: RightComposition actual-precedence: 850 - Precedence: 624 - Precedence-corrected: 650 + Precedence-Function: 624 + precedence: 650 WolframLanguageData: 13 WolframLanguageData-corrected: 13 UnicodeCharacters.tr: @@ -6259,8 +6050,7 @@ RightComposition: RightDownTeeVector: name: RightDownTeeVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6280,8 +6070,7 @@ RightDownTeeVector: RightDownVector: name: RightDownVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6301,8 +6090,7 @@ RightDownVector: RightDownVectorBar: name: RightDownVectorBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6322,8 +6110,7 @@ RightDownVectorBar: RightTee: name: RightTee actual-precedence: 230 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: WolframLanguageData-corrected: 59.6 UnicodeCharacters.tr: 300 @@ -6343,8 +6130,7 @@ RightTee: RightTeeArrow: name: RightTeeArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6364,8 +6150,7 @@ RightTeeArrow: RightTeeVector: name: RightTeeVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6385,8 +6170,7 @@ RightTeeVector: RightTriangle: name: RightTriangle actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -6406,8 +6190,7 @@ RightTriangle: RightTriangleBar: name: RightTriangleBar actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -6427,8 +6210,7 @@ RightTriangleBar: RightTriangleEqual: name: RightTriangleEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -6448,8 +6230,7 @@ RightTriangleEqual: RightUpDownVector: name: RightUpDownVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6469,8 +6250,7 @@ RightUpDownVector: RightUpTeeVector: name: RightUpTeeVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6490,8 +6270,7 @@ RightUpTeeVector: RightUpVector: name: RightUpVector actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6511,8 +6290,7 @@ RightUpVector: RightUpVectorBar: name: RightUpVectorBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6532,8 +6310,7 @@ RightUpVectorBar: RightVector: name: RightVector actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6553,8 +6330,7 @@ RightVector: RightVectorBar: name: RightVectorBar actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6574,8 +6350,8 @@ RightVectorBar: RoundImplies: name: RoundImplies actual-precedence: 250 - Precedence: 240 - Precedence-corrected: 200 + Precedence-Function: 240 + precedence: 200 WolframLanguageData: WolframLanguageData-corrected: 59 UnicodeCharacters.tr: 310 @@ -6595,8 +6371,7 @@ RoundImplies: Rule: name: Rule actual-precedence: 140 - Precedence: 120 - Precedence-corrected: 120 + precedence: 120 WolframLanguageData: 67 WolframLanguageData-corrected: 67.5 UnicodeCharacters.tr: 250 @@ -6616,8 +6391,7 @@ Rule: RuleDelayed: name: RuleDelayed actual-precedence: 150 - Precedence: 120 - Precedence-corrected: 120 + precedence: 120 WolframLanguageData: 67 WolframLanguageData-corrected: 67 UnicodeCharacters.tr: 250 @@ -6637,8 +6411,8 @@ RuleDelayed: SameQ: name: SameQ actual-precedence: 330 - Precedence: 290 - Precedence-corrected: 260 + Precedence-Function: 290 + precedence: 260 WolframLanguageData: 51 WolframLanguageData-corrected: 51 UnicodeCharacters.tr: @@ -6658,8 +6432,7 @@ SameQ: Set: name: Set actual-precedence: 50 - Precedence: 40 - Precedence-corrected: 40 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -6679,8 +6452,7 @@ Set: SetDelayed: name: SetDelayed actual-precedence: 50 - Precedence: 40 - Precedence-corrected: 40 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -6700,8 +6472,7 @@ SetDelayed: ShortDownArrow: name: ShortDownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6721,8 +6492,7 @@ ShortDownArrow: ShortLeftArrow: name: ShortLeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6742,8 +6512,7 @@ ShortLeftArrow: ShortRightArrow: name: ShortRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -6763,8 +6532,7 @@ ShortRightArrow: ShortUpArrow: name: ShortUpArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -6784,8 +6552,8 @@ ShortUpArrow: Skeleton: name: Skeleton actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -6805,8 +6573,7 @@ Skeleton: Slot: name: Slot actual-precedence: 1040 - Precedence: 740 - Precedence-corrected: 740 + precedence: 740 WolframLanguageData: 3 WolframLanguageData-corrected: 3 UnicodeCharacters.tr: @@ -6826,8 +6593,7 @@ Slot: SlotNumber: name: Slot actual-precedence: 1050 - Precedence: 740 - Precedence-corrected: 740 + precedence: 740 WolframLanguageData: 3 WolframLanguageData-corrected: 3 UnicodeCharacters.tr: @@ -6847,8 +6613,7 @@ SlotNumber: SlotSequence: name: SlotSequence actual-precedence: 1040 - Precedence: 740 - Precedence-corrected: 740 + precedence: 740 WolframLanguageData: 3 WolframLanguageData-corrected: 3 UnicodeCharacters.tr: @@ -6868,8 +6633,7 @@ SlotSequence: SlotSequenceNumber: name: SlotSequence actual-precedence: 1050 - Precedence: 740 - Precedence-corrected: 740 + precedence: 740 WolframLanguageData: 3 WolframLanguageData-corrected: 3 UnicodeCharacters.tr: @@ -6889,8 +6653,7 @@ SlotSequenceNumber: SmallCircle: name: SmallCircle actual-precedence: 670 - Precedence: 530 - Precedence-corrected: 530 + precedence: 530 WolframLanguageData: 25 WolframLanguageData-corrected: 25.6 UnicodeCharacters.tr: 607 @@ -6910,8 +6673,7 @@ SmallCircle: Span: name: Span actual-precedence: 390 - Precedence: 305 - Precedence-corrected: 305 + precedence: 305 WolframLanguageData: 49 WolframLanguageData-corrected: 47 UnicodeCharacters.tr: @@ -6931,8 +6693,8 @@ Span: Sqrt: name: Sqrt actual-precedence: 730 - Precedence: 670 - Precedence-corrected: 570 + Precedence-Function: 670 + precedence: 570 WolframLanguageData: 22 WolframLanguageData-corrected: 22 UnicodeCharacters.tr: 650 @@ -6952,8 +6714,8 @@ Sqrt: SqrtBox: name: Sqrt actual-precedence: 730 - Precedence: 670 - Precedence-corrected: 570 + Precedence-Function: 670 + precedence: 570 WolframLanguageData: 22 WolframLanguageData-corrected: 22 UnicodeCharacters.tr: 650 @@ -6973,8 +6735,7 @@ SqrtBox: Square: name: Square actual-precedence: 690 - Precedence: 540 - Precedence-corrected: 540 + precedence: 540 WolframLanguageData: 25 WolframLanguageData-corrected: 25.0 UnicodeCharacters.tr: 610 @@ -6994,8 +6755,7 @@ Square: SquareIntersection: name: SquareIntersection actual-precedence: 390 - Precedence: 305 - Precedence-corrected: 305 + precedence: 305 WolframLanguageData: WolframLanguageData-corrected: 47 UnicodeCharacters.tr: 420 @@ -7015,8 +6775,7 @@ SquareIntersection: SquareSubset: name: SquareSubset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7036,8 +6795,7 @@ SquareSubset: SquareSubsetEqual: name: SquareSubsetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7057,8 +6815,7 @@ SquareSubsetEqual: SquareSuperset: name: SquareSuperset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7078,8 +6835,7 @@ SquareSuperset: SquareSupersetEqual: name: SquareSupersetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7099,8 +6855,7 @@ SquareSupersetEqual: SquareUnion: name: SquareUnion actual-precedence: 380 - Precedence: 300 - Precedence-corrected: 300 + precedence: 300 WolframLanguageData: WolframLanguageData-corrected: 48 UnicodeCharacters.tr: 410 @@ -7120,8 +6875,7 @@ SquareUnion: Star: name: Star actual-precedence: 490 - Precedence: 390 - Precedence-corrected: 390 + precedence: 390 WolframLanguageData: 39 WolframLanguageData-corrected: 39 UnicodeCharacters.tr: 510 @@ -7141,8 +6895,7 @@ Star: StringExpression: name: StringExpression actual-precedence: 180 - Precedence: 135 - Precedence-corrected: 135 + precedence: 135 WolframLanguageData: 65 WolframLanguageData-corrected: 65 UnicodeCharacters.tr: @@ -7162,8 +6915,7 @@ StringExpression: StringJoin: name: StringJoin actual-precedence: 760 - Precedence: 600 - Precedence-corrected: 600 + precedence: 600 WolframLanguageData: 20 WolframLanguageData-corrected: 20 UnicodeCharacters.tr: @@ -7183,8 +6935,8 @@ StringJoin: SubscriptBox: name: Subscript actual-precedence: 920 - Precedence: 670 - Precedence-corrected: 690 + Precedence-Function: 670 + precedence: 690 WolframLanguageData: 8 WolframLanguageData-corrected: 8 UnicodeCharacters.tr: @@ -7204,8 +6956,7 @@ SubscriptBox: Subset: name: Subset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: 52 WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7225,8 +6976,7 @@ Subset: SubsetEqual: name: SubsetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7246,8 +6996,8 @@ SubsetEqual: SubsuperscriptBox: name: Subsuperscript actual-precedence: 920 - Precedence: 670 - Precedence-corrected: 690 + Precedence-Function: 670 + precedence: 690 WolframLanguageData: 8 WolframLanguageData-corrected: 8 UnicodeCharacters.tr: @@ -7267,8 +7017,7 @@ SubsuperscriptBox: Subtract: name: Subtract actual-precedence: 400 - Precedence: 310 - Precedence-corrected: 310 + precedence: 310 WolframLanguageData: 46 WolframLanguageData-corrected: 46 UnicodeCharacters.tr: 430 @@ -7288,8 +7037,7 @@ Subtract: SubtractFrom: name: SubtractFrom actual-precedence: 120 - Precedence: 100 - Precedence-corrected: 100 + precedence: 100 WolframLanguageData: 69 WolframLanguageData-corrected: 69 UnicodeCharacters.tr: @@ -7309,8 +7057,7 @@ SubtractFrom: Succeeds: name: Succeeds actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7330,8 +7077,7 @@ Succeeds: SucceedsEqual: name: SucceedsEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7351,8 +7097,7 @@ SucceedsEqual: SucceedsSlantEqual: name: SucceedsSlantEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7372,8 +7117,7 @@ SucceedsSlantEqual: SucceedsTilde: name: SucceedsTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7393,8 +7137,7 @@ SucceedsTilde: SuchThat: name: SuchThat actual-precedence: 210 - Precedence: 180 - Precedence-corrected: 180 + precedence: 180 WolframLanguageData: 61 WolframLanguageData-corrected: 61 UnicodeCharacters.tr: 290 @@ -7414,8 +7157,8 @@ SuchThat: Sum: name: Sum actual-precedence: 420 - Precedence: 320 - Precedence-corrected: 325 + Precedence-Function: 320 + precedence: 325 WolframLanguageData: 45 WolframLanguageData-corrected: 45 UnicodeCharacters.tr: 440 @@ -7435,8 +7178,8 @@ Sum: SuperDagger: name: SuperDagger actual-precedence: 780 - Precedence: 0 - Precedence-corrected: 605 + Precedence-Function: 0 + precedence: 605 WolframLanguageData: WolframLanguageData-corrected: 18 UnicodeCharacters.tr: @@ -7456,8 +7199,7 @@ SuperDagger: SuperscriptBox: name: SuperscriptBox actual-precedence: 750 - Precedence: 590 - Precedence-corrected: 590 + precedence: 590 WolframLanguageData: 21 WolframLanguageData-corrected: 21 UnicodeCharacters.tr: @@ -7477,8 +7219,7 @@ SuperscriptBox: Superset: name: Superset actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: 52 WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7498,8 +7239,7 @@ Superset: SupersetEqual: name: SupersetEqual actual-precedence: 320 - Precedence: 250 - Precedence-corrected: 250 + precedence: 250 WolframLanguageData: WolframLanguageData-corrected: 52 UnicodeCharacters.tr: 360 @@ -7519,8 +7259,8 @@ SupersetEqual: SupersubscriptBox: name: SubsuperscriptBox actual-precedence: 750 - Precedence: 690 - Precedence-corrected: 590 + Precedence-Function: 690 + precedence: 590 WolframLanguageData: 21 WolframLanguageData-corrected: 21 UnicodeCharacters.tr: @@ -7540,8 +7280,8 @@ SupersubscriptBox: TagSet: name: TagSet actual-precedence: 50 - Precedence: 670 - Precedence-corrected: 40 + Precedence-Function: 670 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -7561,8 +7301,8 @@ TagSet: TagSetDelayed: name: TagSetDelayed actual-precedence: 50 - Precedence: 670 - Precedence-corrected: 40 + Precedence-Function: 670 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -7582,8 +7322,8 @@ TagSetDelayed: TagUnset: name: TagUnset actual-precedence: 50 - Precedence: 670 - Precedence-corrected: 40 + Precedence-Function: 670 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -7603,8 +7343,8 @@ TagUnset: TensorProduct: name: TensorProduct actual-precedence: 610 - Precedence: 495 - Precedence-corrected: 487 + Precedence-Function: 495 + precedence: 487 WolframLanguageData: WolframLanguageData-corrected: 29.6 UnicodeCharacters.tr: 602 @@ -7624,8 +7364,8 @@ TensorProduct: TensorWedge: name: TensorWedge actual-precedence: 620 - Precedence: 500 - Precedence-corrected: 488 + Precedence-Function: 500 + precedence: 488 WolframLanguageData: WolframLanguageData-corrected: 29.5 UnicodeCharacters.tr: 603 @@ -7645,8 +7385,7 @@ TensorWedge: Therefore: name: Therefore actual-precedence: 70 - Precedence: 50 - Precedence-corrected: 50 + precedence: 50 WolframLanguageData: 74 WolframLanguageData-corrected: 73.5 UnicodeCharacters.tr: 201 @@ -7666,8 +7405,7 @@ Therefore: Tilde: name: Tilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7687,8 +7425,7 @@ Tilde: TildeEqual: name: TildeEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7708,8 +7445,7 @@ TildeEqual: TildeFullEqual: name: TildeFullEqual actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7729,8 +7465,7 @@ TildeFullEqual: TildeTilde: name: TildeTilde actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -7750,8 +7485,7 @@ TildeTilde: Times: name: Times actual-precedence: 500 - Precedence: 400 - Precedence-corrected: 400 + precedence: 400 WolframLanguageData: 38 WolframLanguageData-corrected: 38 UnicodeCharacters.tr: 520 @@ -7771,8 +7505,7 @@ Times: TimesBy: name: TimesBy actual-precedence: 120 - Precedence: 100 - Precedence-corrected: 100 + precedence: 100 WolframLanguageData: 69 WolframLanguageData-corrected: 69 UnicodeCharacters.tr: @@ -7792,8 +7525,8 @@ TimesBy: TortoiseShellBracket: name: TortoiseShellBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -7813,8 +7546,8 @@ TortoiseShellBracket: Transpose: name: Transpose actual-precedence: 780 - Precedence: 670 - Precedence-corrected: 605 + Precedence-Function: 670 + precedence: 605 WolframLanguageData: 18 WolframLanguageData-corrected: 18 UnicodeCharacters.tr: 695 @@ -7834,8 +7567,7 @@ Transpose: TwoWayRule: name: TwoWayRule actual-precedence: 160 - Precedence: 125 - Precedence-corrected: 125 + precedence: 125 WolframLanguageData: WolframLanguageData-corrected: 66.5 UnicodeCharacters.tr: 255 @@ -7855,8 +7587,8 @@ TwoWayRule: UnaryMinusPlus: name: MinusPlus actual-precedence: 580 - Precedence: 310 - Precedence-corrected: 480 + Precedence-Function: 310 + precedence: 480 WolframLanguageData: 30 WolframLanguageData-corrected: 30 UnicodeCharacters.tr: 430 @@ -7876,8 +7608,8 @@ UnaryMinusPlus: UnaryPlus: name: Plus actual-precedence: 580 - Precedence: 310 - Precedence-corrected: 480 + Precedence-Function: 310 + precedence: 480 WolframLanguageData: WolframLanguageData-corrected: 30 UnicodeCharacters.tr: @@ -7897,8 +7629,8 @@ UnaryPlus: UnaryPlusMinus: name: PlusMinus actual-precedence: 580 - Precedence: 310 - Precedence-corrected: 480 + Precedence-Function: 310 + precedence: 480 WolframLanguageData: 30 WolframLanguageData-corrected: 30 UnicodeCharacters.tr: 430 @@ -7918,8 +7650,8 @@ UnaryPlusMinus: UnderoverscriptBox: name: Underoverscript actual-precedence: 940 - Precedence: 670 - Precedence-corrected: 700 + Precedence-Function: 670 + precedence: 700 WolframLanguageData: 7 WolframLanguageData-corrected: 7.5 UnicodeCharacters.tr: @@ -7939,8 +7671,8 @@ UnderoverscriptBox: UnderscriptBox: name: Underscript actual-precedence: 950 - Precedence: 670 - Precedence-corrected: 710 + Precedence-Function: 670 + precedence: 710 WolframLanguageData: 7 WolframLanguageData-corrected: 7 UnicodeCharacters.tr: @@ -7960,8 +7692,7 @@ UnderscriptBox: UndirectedEdge: name: UndirectedEdge actual-precedence: 370 - Precedence: 295 - Precedence-corrected: 295 + precedence: 295 WolframLanguageData: WolframLanguageData-corrected: 49.0 UnicodeCharacters.tr: 395 @@ -7981,8 +7712,7 @@ UndirectedEdge: Unequal: name: Unequal actual-precedence: 360 - Precedence: 290 - Precedence-corrected: 290 + precedence: 290 WolframLanguageData: 50 WolframLanguageData-corrected: 50.0 UnicodeCharacters.tr: 390 @@ -8002,8 +7732,7 @@ Unequal: Union: name: Union actual-precedence: 380 - Precedence: 300 - Precedence-corrected: 300 + precedence: 300 WolframLanguageData: 48 WolframLanguageData-corrected: 48 UnicodeCharacters.tr: 410 @@ -8023,8 +7752,7 @@ Union: UnionPlus: name: UnionPlus actual-precedence: 380 - Precedence: 300 - Precedence-corrected: 300 + precedence: 300 WolframLanguageData: WolframLanguageData-corrected: 48 UnicodeCharacters.tr: 410 @@ -8044,8 +7772,8 @@ UnionPlus: UnsameQ: name: UnsameQ actual-precedence: 330 - Precedence: 290 - Precedence-corrected: 260 + Precedence-Function: 290 + precedence: 260 WolframLanguageData: 51 WolframLanguageData-corrected: 51 UnicodeCharacters.tr: @@ -8065,8 +7793,8 @@ UnsameQ: Unset: name: Unset actual-precedence: 50 - Precedence: 670 - Precedence-corrected: 40 + Precedence-Function: 670 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -8086,8 +7814,7 @@ Unset: UpArrow: name: UpArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8107,8 +7834,7 @@ UpArrow: UpArrowBar: name: UpArrowBar actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8128,8 +7854,7 @@ UpArrowBar: UpArrowDownArrow: name: UpArrowDownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8149,8 +7874,7 @@ UpArrowDownArrow: UpDownArrow: name: UpDownArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8170,8 +7894,7 @@ UpDownArrow: UpEquilibrium: name: UpEquilibrium actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8191,8 +7914,7 @@ UpEquilibrium: UpSet: name: UpSet actual-precedence: 50 - Precedence: 40 - Precedence-corrected: 40 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -8212,8 +7934,7 @@ UpSet: UpSetDelayed: name: UpSetDelayed actual-precedence: 50 - Precedence: 40 - Precedence-corrected: 40 + precedence: 40 WolframLanguageData: 75 WolframLanguageData-corrected: 75 UnicodeCharacters.tr: @@ -8233,8 +7954,7 @@ UpSetDelayed: UpTee: name: UpTee actual-precedence: 220 - Precedence: 190 - Precedence-corrected: 190 + precedence: 190 WolframLanguageData: 60 WolframLanguageData-corrected: 60 UnicodeCharacters.tr: 390 @@ -8254,8 +7974,7 @@ UpTee: UpTeeArrow: name: UpTeeArrow actual-precedence: 740 - Precedence: 580 - Precedence-corrected: 580 + precedence: 580 WolframLanguageData: WolframLanguageData-corrected: 21.5 UnicodeCharacters.tr: 650 @@ -8275,8 +7994,7 @@ UpTeeArrow: UpperLeftArrow: name: UpperLeftArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -8296,8 +8014,7 @@ UpperLeftArrow: UpperRightArrow: name: UpperRightArrow actual-precedence: 340 - Precedence: 270 - Precedence-corrected: 270 + precedence: 270 WolframLanguageData: WolframLanguageData-corrected: 50.6 UnicodeCharacters.tr: 380 @@ -8317,8 +8034,7 @@ UpperRightArrow: Vee: name: Vee actual-precedence: 530 - Precedence: 430 - Precedence-corrected: 430 + precedence: 430 WolframLanguageData: WolframLanguageData-corrected: 35 UnicodeCharacters.tr: 550 @@ -8338,8 +8054,7 @@ Vee: VerticalBar: name: VerticalBar actual-precedence: 350 - Precedence: 280 - Precedence-corrected: 280 + precedence: 280 WolframLanguageData: 50 WolframLanguageData-corrected: 50.5 UnicodeCharacters.tr: 390 @@ -8359,8 +8074,7 @@ VerticalBar: VerticalSeparator: name: VerticalSeparator actual-precedence: 80 - Precedence: 60 - Precedence-corrected: 60 + precedence: 60 WolframLanguageData: 73 WolframLanguageData-corrected: 73 UnicodeCharacters.tr: 202 @@ -8380,8 +8094,7 @@ VerticalSeparator: VerticalTilde: name: VerticalTilde actual-precedence: 470 - Precedence: 370 - Precedence-corrected: 370 + precedence: 370 WolframLanguageData: 41 WolframLanguageData-corrected: 41 UnicodeCharacters.tr: 490 @@ -8401,8 +8114,7 @@ VerticalTilde: Wedge: name: Wedge actual-precedence: 540 - Precedence: 440 - Precedence-corrected: 440 + precedence: 440 WolframLanguageData: 34 WolframLanguageData-corrected: 34 UnicodeCharacters.tr: 560 @@ -8422,8 +8134,8 @@ Wedge: WhiteCornerBracket: name: WhiteCornerBracket actual-precedence: -10 - Precedence: 670 - Precedence-corrected: 760 + Precedence-Function: 670 + precedence: 760 WolframLanguageData: WolframLanguageData-corrected: 1 UnicodeCharacters.tr: -10 @@ -8443,8 +8155,7 @@ WhiteCornerBracket: Xnor: name: Xnor actual-precedence: 280 - Precedence: 215 - Precedence-corrected: 215 + precedence: 215 WolframLanguageData: 56 WolframLanguageData-corrected: 56 UnicodeCharacters.tr: 325 @@ -8464,8 +8175,7 @@ Xnor: Xor: name: Xor actual-precedence: 280 - Precedence: 215 - Precedence-corrected: 215 + precedence: 215 WolframLanguageData: 56 WolframLanguageData-corrected: 56 UnicodeCharacters.tr: 325 diff --git a/mathics_scanner/generate/build_operator_tables.py b/mathics_scanner/generate/build_operator_tables.py index 393aa25..ce4da3f 100644 --- a/mathics_scanner/generate/build_operator_tables.py +++ b/mathics_scanner/generate/build_operator_tables.py @@ -4,9 +4,9 @@ import json import os.path as osp -import re import sys from pathlib import Path +from typing import Dict import click import yaml @@ -33,56 +33,16 @@ __version__ = "unknown" -def get_srcdir(): +def get_srcdir() -> str: filename = osp.normcase(osp.dirname(osp.abspath(__file__))) return osp.realpath(filename) -def read(*rnames): +def read(*rnames) -> str: return open(osp.join(get_srcdir(), *rnames)).read() -def re_from_keys(d: dict) -> str: - """ - Takes dictionary whose keys are all strings and returns a regex that - matches any of the keys - """ - - # The sorting is necessary to prevent the shorter keys from obscuring the - # longer ones when pattern-matchig - return "|".join(sorted(map(re.escape, d.keys()), key=lambda k: (-len(k), k))) - - -def get_plain_text(char_name: str, char_data: dict, use_unicode: bool) -> str: - """:param char_name: named character to look up. - :param char_data: translation dictionary. - - :returns: if use_unicode is True, then return the standard unicode equivalent - of the name if there is one. - - Note that this may sometimes be different than the WL unicode - value. An example of this is DifferentialD. - - If use_unicode is False, return char_name if it consists of only - ASCII characters. - - Failing above, return \\[char_name]] - """ - uni = char_data.get("unicode-equivalent", char_data.get("ascii")) - - if uni is not None: - if use_unicode: - return uni - - # If all of the characters in the unicode representation are valid - # ASCII then return the unicode representation - elif all(ord(c) < 127 for c in uni): - return uni - - return f"\\[{char_name}]" - - -def compile_tables(data: dict) -> dict: +def compile_tables(data: Dict[str, dict]) -> Dict[str, dict]: """ Compiles the general table into the tables used internally by the library. This facilitates fast access of this information by clients needing this @@ -91,7 +51,7 @@ def compile_tables(data: dict) -> dict: operator_precedence = {} for k, v in data.items(): - operator_precedence[k] = v["Precedence-corrected"] + operator_precedence[k] = v["precedence"] return { "operator-precedence": operator_precedence, diff --git a/mathics_scanner/generate/build_tables.py b/mathics_scanner/generate/build_tables.py index b2f845a..930071c 100755 --- a/mathics_scanner/generate/build_tables.py +++ b/mathics_scanner/generate/build_tables.py @@ -2,15 +2,15 @@ # This scripts reads the data from named-characters and converts it to the # format used by the library internally -import click - import json -import yaml +import os.path as osp import re import sys -import os.path as osp from pathlib import Path +import click +import yaml + try: from mathics_scanner.version import __version__ except ImportError: @@ -18,12 +18,12 @@ __version__ = "unknown" -def get_srcdir(): +def get_srcdir() -> str: filename = osp.normcase(osp.dirname(osp.abspath(__file__))) return osp.realpath(filename) -def read(*rnames): +def read(*rnames) -> str: return open(osp.join(get_srcdir(), *rnames)).read() diff --git a/mathics_scanner/generate/operator_csv_to_yml.py b/mathics_scanner/generate/operator_csv_to_yml.py index a0d554c..554e430 100755 --- a/mathics_scanner/generate/operator_csv_to_yml.py +++ b/mathics_scanner/generate/operator_csv_to_yml.py @@ -34,6 +34,8 @@ ) operators: Dict[str, list] = {} +precedence_index = 2 +precedence_corrected_index = 3 with open(csv_file, newline="") as csvfile: # FIXME: to handle "\" in fields @@ -95,5 +97,13 @@ "usage", ): field = f"# {field}" + elif field == "Precedence": + if operators[name][precedence_corrected_index] == value: + continue + # else: + # print(f"# mismatch: {name}") + field = "Precedence-Function" + elif field == "Precedence-corrected": + field = "precedence" print(f" {field}: {value}") From e8e7d47b0afc7bd779f2d542783eb500b1d8c76d Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 29 Aug 2024 11:53:28 -0400 Subject: [PATCH 2/4] Cross check named-characters.yml vs. operators.yml --- mathics_scanner/data/OperatorTable.csv | 6 +- mathics_scanner/data/named-characters.yml | 10 ++- mathics_scanner/data/operators.yml | 84 +++++++++---------- .../generate/operator_csv_to_yml.py | 22 ++++- 4 files changed, 73 insertions(+), 49 deletions(-) diff --git a/mathics_scanner/data/OperatorTable.csv b/mathics_scanner/data/OperatorTable.csv index abb5c27..b8d7d03 100644 --- a/mathics_scanner/data/OperatorTable.csv +++ b/mathics_scanner/data/OperatorTable.csv @@ -25,7 +25,7 @@ NumberBase,None,-10,670,760,,1,,-10,{},"{""^^""}",{},"{{""n"", ""^^"", ""digits" NumberMagnitude,None,-10,670,760,,1,,-10,{},"{""*^""}",{},"{{""number"", ""*^"", ""magnitude""}}","{""number"", ""*^"", ""magnitude""}",number*^magnitude,Binary,Infix,Non,True,"Gives mantissa*base^magnitude, where base^^mantissa=number and magnitude is a decimal number expressed without ^^, `, or ``. Only allowed in a number literal, and only after any ` or ``." NumberPrecisionPostfix,None,-10,670,760,,1,,-10,{},"{""`""}",{},"{{""number"", ""`""}}","{""number"", ""`""}",number`,Unary,Postfix,Left,True,"Specifies the precision of number to be $MachinePrecision. Any magnitude must come after `.""" NumberPrecision,None,-10,670,760,,1,,-10,{},"{""`""}",{},"{{""number"", ""`"", ""s""}}","{""number"", ""`"", ""s""}",number`s,Binary,Infix,Non,True,"Specifies the precision of number, where s is a positive decimal expressed without using ^^ or `. Any magnitude must come after `.""" -NumberAccuracy,None,-10,670,760,,1,,-10,{},"{""``""}",{},"{{""number"", ""``"", ""s""}}","{""number"", ""``"", ""s""}",number``s,Binary,Infix,Non,True,"Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``." +RawBackquote,None,-10,670,760,,1,,-10,{},"{""``""}",{},"{{""number"", ""``"", ""s""}}","{""number"", ""``"", ""s""}",number``s,Binary,Infix,Non,True,"Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``." ContextPathSeparator,None,-10,670,760,,1,,-10,{},"{""`""}",{},"{{""symb1"", ""`"", ""symb2""}}","{""symb1"", ""`"", ""symb2""}",symb1`symb2,,,Non,True,"Functions as a decimal point: either contextpath1 or contextpath2 may be empty, but not both at the same time." MessageName,MessageName,1060,750,750,2,2,,850,{},"{""::""}",{},"{{""expr"", ""::"", ""string""}}","{""MessageName"", ""["", ""expr"", "","", """", ""string"", """", ""]""}","MessageName[expr, ""string""]",Binary,Infix,Non,True, SlotNumber,Slot,1050,740,740,3,3,,840,"{""#""}",{},{},"{{""#"", ""n""}}","{""Slot"", ""["", ""n"", ""]""}",Slot[n],Unary,Prefix,Non,True, @@ -74,7 +74,7 @@ RightComposition,RightComposition,850,624,650,13,13,,740,{},"{""/*""}",{},"{{""e FunctionApplyPrefix,Prefix,840,640,640,,14,730,730,{},"{""@"", """"}",{},"{{""expr1"", ""@"", ""expr2""}, {""expr1"", """", ""expr2""}}","{""expr1"", ""["", ""expr2"", ""]""}",expr1[expr2],Binary,Infix,Right,True,Operator Notations includes usages with invisible unicode characters. FunctionApplyInfix,Infix,830,630,630,,15,,720,{},"{""~""}",{},"{{""expr1"", ""~"", ""expr2"", ""~"", ""expr3""}}","{""expr2"", ""["", ""expr1"", "","", ""expr3"", ""]""}","expr2[expr1, expr3]",Ternary,Infix,Left,True,"Infix[f[x,y]] will display as x~f~y. Precedence identifies Infix with this operator, and Precedence[Infix]==30 which is almost correct." Apply,Apply,820,620,626,16,16,,710,{},"{""@@""}",{},"{{""expr1"", ""@@"", ""expr2""}}","{""Apply"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Apply[expr1, expr2]",Binary,Infix,Right,True, -ApplyFirstLevel,Apply,810,620,625,16,16,,710,{},"{""@@@""}",{},"{{""expr1"", ""@@@"", ""expr2""}}","{""Apply"", ""["", ""expr1"", "","", ""expr2"", ""{"", ""1"", ""}"", ""]""}","Apply[expr1, expr2, List[1]]",Binary,Infix,Right,True, +MapApply,MapApply,810,620,625,16,16,,710,{},"{""@@@""}",{},"{{""expr1"", ""@@@"", ""expr2""}}","{""Apply"", ""["", ""expr1"", "","", ""expr2"", ""{"", ""1"", ""}"", ""]""}","MapApply[expr1, expr2, List[1]]",Binary,Infix,Right,True, Map,Map,800,620,620,16,16,,710,{},"{""/@""}",{},"{{""expr1"", ""/@"", ""expr2""}}","{""Map"", ""["", ""expr1"", "","", ""expr2"", ""]""}","Map[expr1, expr2]",Binary,Infix,Right,True, MapAll,MapAll,800,620,620,16,16,,710,{},"{""//@""}",{},"{{""expr1"", ""//@"", ""expr2""}}","{""MapAll"", ""["", ""expr1"", "","", ""expr2"", ""]""}","MapAll[expr1, expr2]",Binary,Infix,Right,True, Factorial,Factorial,790,610,610,17,17,,700,{},"{""!""}",{},"{{""expr"", ""!""}}","{""Factorial"", ""["", ""expr"", ""]""}",Factorial[expr],Unary,Postfix,Left,True, @@ -400,4 +400,4 @@ PutAppend,PutAppend,40,30,30,76,76,,180,{},"{"">>>""}",{},"{{""expr"", "">>>"", CompoundExpression,CompoundExpression,30,10,10,77,77,,170,{},"{"";""}",{},"{{""expr1"", "";"", ""expr2""}}","{""CompoundExpression"", ""["", ""expr1"", "","", ""expr2"", ""]""}","CompoundExpression[expr1, expr2]",Binary,Infix,None,True, CompoundExpressionNull,CompoundExpression,30,10,10,77,77,,170,{},"{"";""}",{},"{{""expr1"", "";"", ""expr2"", "";""}}","{""CompoundExpression"", ""["", ""expr1"", "","", ""expr2"", ""]""}","CompoundExpression[expr1, expr2, Null]",Unary,Postfix,Left,True, FormBox,FormBox,20,670,5,78,78,,160,{},"{""\\`""}",{},"{{""expr1"", ""\\`"", ""expr2""}}","{""FormBox"", ""["", ""expr2"", "","", ""expr1"", ""]""}",,Binary,Infix,"Missing[""Unknown""]",True, -ImplicitSequence,Comma,10,670,755,,79,1,1,{},"{"""", "",""}",{},"{{""expr1"", """", ""expr2""}, {""expr1"", "","", ""expr2""}}","{""AngleBracket"", ""["", ""expr"", "","", ""…"", ""]""}","expr1, expr2",Binary,Infix,None,True,Operator Notations includes usages with invisible unicode characters. +ImplicitSequence,Comma,10,670,755,,79,1,1,{},"{"""", "",""}",{},"{{""expr1"", """", ""expr2""}, {""expr1"", "","", ""expr2""}}","{""AngleBracket"", ""["", ""expr"", "","", ""…"", ""]""}","expr1, expr2",Binary,Infix,None,True,Operator Notations includes usages with invisible unicode characters. diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index 162780f..17fda43 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -120,11 +120,11 @@ AHat: wl-unicode-name: LATIN SMALL LETTER A WITH CIRCUMFLEX # See also RawVerticalBar. -Alternative: +Alternatives: ascii: "|" has-unicode-inverse: false is-letter-like: false - operator-name: Alternative + operator-name: Alternatives Apply: ascii: "@@" @@ -5622,6 +5622,12 @@ MapAll: is-letter-like: false operator-name: MapAll +MapApply: + ascii: "@@@" + has-unicode-inverse: false + is-letter-like: false + operator-name: MapApply + Mars: has-unicode-inverse: false is-letter-like: false diff --git a/mathics_scanner/data/operators.yml b/mathics_scanner/data/operators.yml index ab508b6..5ae920b 100644 --- a/mathics_scanner/data/operators.yml +++ b/mathics_scanner/data/operators.yml @@ -158,27 +158,6 @@ Apply: meaningful: true # comments: -ApplyFirstLevel: - name: Apply - actual-precedence: 810 - Precedence-Function: 620 - precedence: 625 - WolframLanguageData: 16 - WolframLanguageData-corrected: 16 - UnicodeCharacters.tr: - UnicodeCharacters-corrected.tr: 710 - # N-tokens: {} - # L-tokens: {"@@@"} - # O-tokens: {} - # usage: {{"expr1", "@@@", "expr2"}} - # parse: {"Apply", "[", "expr1", ",", "expr2", "{", "1", "}", "]"} - FullForm: Apply[expr1, expr2, List[1]] - arity: Binary - affix: Infix - associativity: Right - meaningful: true - # comments: - Association: name: Association actual-precedence: -10 @@ -3583,6 +3562,27 @@ MapAll: meaningful: true # comments: +MapApply: + name: MapApply + actual-precedence: 810 + Precedence-Function: 620 + precedence: 625 + WolframLanguageData: 16 + WolframLanguageData-corrected: 16 + UnicodeCharacters.tr: + UnicodeCharacters-corrected.tr: 710 + # N-tokens: {} + # L-tokens: {"@@@"} + # O-tokens: {} + # usage: {{"expr1", "@@@", "expr2"}} + # parse: {"Apply", "[", "expr1", ",", "expr2", "{", "1", "}", "]"} + FullForm: MapApply[expr1, expr2, List[1]] + arity: Binary + affix: Infix + associativity: Right + meaningful: true + # comments: + MaxLimit: name: MaxLimit actual-precedence: 410 @@ -4985,27 +4985,6 @@ NotVerticalBar: meaningful: false # comments: -NumberAccuracy: - name: None - actual-precedence: -10 - Precedence-Function: 670 - precedence: 760 - WolframLanguageData: - WolframLanguageData-corrected: 1 - UnicodeCharacters.tr: - UnicodeCharacters-corrected.tr: -10 - # N-tokens: {} - # L-tokens: {"``"} - # O-tokens: {} - # usage: {{"number", "``", "s"}} - # parse: {"number", "``", "s"} - FullForm: number``s - arity: Binary - affix: Infix - associativity: Non - meaningful: true - # comments: Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``. - NumberBase: name: None actual-precedence: -10 @@ -5826,6 +5805,27 @@ RadicalBox: meaningful: true # comments: +RawBackquote: + name: None + actual-precedence: -10 + Precedence-Function: 670 + precedence: 760 + WolframLanguageData: + WolframLanguageData-corrected: 1 + UnicodeCharacters.tr: + UnicodeCharacters-corrected.tr: -10 + # N-tokens: {} + # L-tokens: {"``"} + # O-tokens: {} + # usage: {{"number", "``", "s"}} + # parse: {"number", "``", "s"} + FullForm: number``s + arity: Binary + affix: Infix + associativity: Non + meaningful: true + # comments: Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``. + Repeated: name: Repeated actual-precedence: 200 diff --git a/mathics_scanner/generate/operator_csv_to_yml.py b/mathics_scanner/generate/operator_csv_to_yml.py index 554e430..1c69938 100755 --- a/mathics_scanner/generate/operator_csv_to_yml.py +++ b/mathics_scanner/generate/operator_csv_to_yml.py @@ -6,10 +6,11 @@ import csv import os.path as osp +from pathlib import Path from typing import Dict -my_dir = osp.dirname(__file__) -csv_file = osp.join(my_dir, "..", "data", "OperatorTable.csv") +DATA_DIR = Path(osp.normpath(osp.dirname(__file__)), "..", "data") +csv_file = DATA_DIR / "OperatorTable.csv" yaml_fields = ( "name", @@ -79,6 +80,14 @@ # if count > 5: # break +# Commented code for checking character_data versus +# Operator data + +# import yaml + +# with open(DATA_DIR / "named-characters.yml", "r") as i: +# # Load the YAML data. +# character_data = yaml.load(i, Loader=yaml.FullLoader) for name in sorted(operators.keys()): print(f"\n{name}:") @@ -105,5 +114,14 @@ field = "Precedence-Function" elif field == "Precedence-corrected": field = "precedence" + # Commented code checking character data versus operator data + # character_dict = character_data.get(name) + # if character_dict is None: + # print(f"Woah! do not see {name} in character YAML") + # else: + # character_precedence = character_dict.get("precedence") + # if character_precedence is not None: + # if character_precedence != value: + # print(f"Woah! mismatched character {name} {character_precedence}, {value}") print(f" {field}: {value}") From 602529dcce02994b5185cefa7a46809cb857be88 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 29 Aug 2024 12:03:18 -0400 Subject: [PATCH 3/4] Note relation and differences between operators... and characters --- mathics_scanner/data/named-characters.yml | 62 ++++------------------- 1 file changed, 9 insertions(+), 53 deletions(-) diff --git a/mathics_scanner/data/named-characters.yml b/mathics_scanner/data/named-characters.yml index 17fda43..80690ef 100644 --- a/mathics_scanner/data/named-characters.yml +++ b/mathics_scanner/data/named-characters.yml @@ -23,7 +23,15 @@ # is letter-like. Therefore we can write: \[alpha]5 = "testing" # # operator-name: If present, this symbol is a Mathics operator with -# whose class name is the given name. For example Divide. +# whose class name is the given name. For example, the +# Divide operator, "/" is here. But some symbols like +# "`" or "." inside a number could be considered +# either an operator or as part of a lexical symbol. +# "operators.yml" may contain use these symbols, while here we +# might not (or we might). Also, from an operator +# prespective, an operator name like "Association" +# might have *two* (bracketing) symbols associated +# here: "LeftAssociation" and "RightAssociation". # # unicode-equivalent: A unicode equivalent for the named-character, if it # exists. If it is the same as "ascii", please omit. @@ -131,7 +139,6 @@ Apply: has-unicode-inverse: false is-letter-like: false operator-name: Apply - precedence: 620 # @@@ replaces heads at level 1 of expr by f. @@ -142,14 +149,12 @@ Apply3Ats: has-unicode-inverse: false is-letter-like: false operator-name: Apply - precedence: 620 ApplyTo: ascii: "//=" has-unicode-inverse: false is-letter-like: false operator-name: ApplyTo - precedence: 620 ARing: esc-alias: ao @@ -222,7 +227,6 @@ And: has-unicode-inverse: false is-letter-like: false operator-name: And - precedence: 215 unicode-equivalent: "\u2227" unicode-equivalent-name: LOGICAL AND wl-unicode: "\u2227" @@ -1388,7 +1392,6 @@ Colon: has-unicode-inverse: false is-letter-like: false operator-name: Colon - precedence: 80 unicode-equivalent: "\u2236" unicode-equivalent-name: RATIO wl-unicode: "\u2236" @@ -1413,14 +1416,12 @@ CompoundExpression: has-unicode-inverse: false is-letter-like: false operator-name: CompoundExpression - precedence: 10 Condition: ascii: "/;" has-unicode-inverse: false is-letter-like: false operator-name: Condition - precedence: 130 Conditioned: has-unicode-inverse: false @@ -1656,7 +1657,6 @@ Decrement: has-unicode-inverse: false is-letter-like: false operator-name: Decrement - precedence: 660 # See also PatternTest and RawQuestion @@ -1665,7 +1665,6 @@ Definition: has-unicode-inverse: false is-letter-like: false operator-name: Definition - precedence: 670 # \[Degree] is letter-like, not an operator, which is # mutually exclusive. @@ -1725,7 +1724,6 @@ Derivative: has-unicode-inverse: false is-letter-like: false operator-name: Derivative - precedence: 670 DescendingEllipsis: has-unicode-inverse: false @@ -1861,7 +1859,6 @@ Divide: has-unicode-inverse: true is-letter-like: false operator-name: Divide - precedence: 470 unicode-equivalent: "\xF7" unicode-equivalent-name: DIVISION SIGN wl-unicode: "\xF7" @@ -1888,7 +1885,6 @@ Dot: has-unicode-inverse: false is-letter-like: false operator-name: Dot - precedence: 490 DotEqual: esc-alias: .= @@ -2037,7 +2033,6 @@ DoubleRightArrow: has-unicode-inverse: false is-letter-like: false operator-name: DoubleRightArrow - precedence: 200 unicode-equivalent: "\u21D2" unicode-equivalent-name: RIGHTWARDS DOUBLE ARROW wl-unicode: "\u21D2" @@ -2971,7 +2966,6 @@ Equal: unicode-equivalent: "\u2A75" unicode-equivalent-name: TWO CONSECUTIVE EQUALS SIGNS wl-unicode: "\uF431" - precedence: 290 EqualTilde: esc-alias: =~ @@ -2998,7 +2992,6 @@ Equivalent: has-unicode-inverse: true is-letter-like: false operator-name: Equivalent - precedence: 205 unicode-equivalent: "\u29E6" unicode-equivalent-name: GLEICH STARK wl-unicode: "\u29E6" @@ -3069,7 +3062,6 @@ Factorial: has-unicode-inverse: false is-letter-like: false operator-name: Factorial - precedence: 610 # Double Factorial # https://en.wikipedia.org/wiki/Double_factorial @@ -3079,7 +3071,6 @@ Factorial2: has-unicode-inverse: false is-letter-like: false operator-name: Factorial2 - precedence: 610 FiLigature: has-unicode-inverse: false @@ -4198,7 +4189,6 @@ Function: operator-name: Function # This needs to be greater than Alternative "|" which is # 160 so that we don't treat |-> as | ->. - precedence: 161 unicode-equivalent: "\u21A6" unicode-equivalent-name: RIGHTWARDS ARROW FROM BAR wl-unicode: "\uF4A1" @@ -4212,7 +4202,6 @@ FunctionAmpersand: has-unicode-inverse: false is-letter-like: false operator-name: Function - precedence: 90 Gamma: esc-alias: g @@ -4236,7 +4225,6 @@ Get: has-unicode-inverse: false is-letter-like: false operator-name: Get - precedence: 720 Gimel: amslatex: "\\gimel" @@ -4983,7 +4971,6 @@ Increment: has-unicode-inverse: false is-letter-like: false operator-name: Increment - precedence: 660 IndentingNewLine: esc-alias: nl @@ -5015,7 +5002,6 @@ Information: has-unicode-inverse: false is-letter-like: false operator-name: Information - precedence: 0 Integral: amslatex: "\\int" @@ -5034,7 +5020,6 @@ InterpretedBox: has-unicode-inverse: false is-letter-like: false operator-name: InterpretedBox - precedence: 670 Intersection: esc-alias: inter @@ -5614,7 +5599,6 @@ Map: has-unicode-inverse: false is-letter-like: false operator-name: Map - precedence: 620 MapAll: ascii: "//@" @@ -5670,7 +5654,6 @@ Message: has-unicode-inverse: false is-letter-like: false operator-name: Message - precedence: 750 Mho: esc-alias: mho @@ -5695,7 +5678,6 @@ Minus: has-unicode-inverse: false is-letter-like: false operator-name: Minus - precedence: 480 MinusPlus: amslatex: "\\mp" @@ -5856,7 +5838,6 @@ Not: is-letter-like: false unicode-equivalent: "\u00AC" operator-name: Not - precedence: 230 wl-unicode: "\00AC" wl-unicode-name: NOT SIGN @@ -5912,7 +5893,6 @@ NotEqual: unicode-equivalent-name: NOT EQUAL TO wl-unicode: "\u2260" wl-unicode-name: NOT EQUAL TO - precedence: 290 NotEqualTilde: esc-alias: '!=~' @@ -6448,7 +6428,6 @@ Option: has-unicode-inverse: false is-letter-like: false operator-name: Option - precedence: 140 OptionKey: esc-alias: opt @@ -6518,7 +6497,6 @@ PatternTest: has-unicode-inverse: false is-letter-like: false operator-name: PatternTest - precedence: 660 PermutationProduct: has-unicode-inverse: true @@ -6582,7 +6560,6 @@ Plus: has-unicode-inverse: true is-letter-like: false operator-name: Plus - precedence: 310 unicode-equivalent-name: PLUS SIGN wl-unicode: "+" wl-unicode-name: PLUS SIGN @@ -6610,14 +6587,12 @@ Postfix: has-unicode-inverse: false is-letter-like: false operator-name: Postfix - precedence: 70 Power: ascii: "^" has-unicode-inverse: true is-letter-like: false operator-name: Power - precedence: 590 unicode-equivalent-name: CIRCUMFLEX ACCENT wl-unicode: "^" wl-unicode-name: CIRCUMFLEX ACCENT @@ -6720,14 +6695,12 @@ Put: has-unicode-inverse: false is-letter-like: false operator-name: Put - precedence: 30 PutAppend: ascii: ">>>" has-unicode-inverse: false is-letter-like: false operator-name: PutAppend - precedence: 30 QuarterNote: has-unicode-inverse: false @@ -6959,28 +6932,24 @@ Repeated: has-unicode-inverse: false is-letter-like: false operator-name: Repeated - precedence: 170 RepeatedNull: ascii: "..." has-unicode-inverse: false is-letter-like: false operator-name: RepeatedNull - precedence: 170 ReplaceAll: ascii: "/." has-unicode-inverse: false is-letter-like: false operator-name: ReplaceAll - precedence: 110 ReplaceRepeated: ascii: "//." has-unicode-inverse: false is-letter-like: false operator-name: ReplaceRepeated - precedence: 110 ReturnIndicator: esc-alias: ret @@ -7148,7 +7117,6 @@ RightDoubleBracketingBar: has-unicode-inverse: false is-letter-like: false operator-name: RightDoubleBracketingBar - precedence: 215 unicode-equivalent: "\u2016" unicode-equivalent-name: DOUBLE VERTICAL LINE wl-unicode: "\uF606" @@ -7352,7 +7320,6 @@ Rule: has-unicode-inverse: false is-letter-like: false operator-name: Rule - precedence: 120 unicode-equivalent: "\u2192" unicode-equivalent-name: RIGHTWARDS ARROW wl-unicode: "\uF522" @@ -7363,7 +7330,6 @@ RuleDelayed: esc-alias: ":>" has-unicode-inverse: true operator-name: RuleDelayed - precedence: 120 is-letter-like: false unicode-equivalent: "\u29F4" unicode-equivalent-name: RULE-DELAYED @@ -7410,7 +7376,6 @@ SameQ: has-unicode-inverse: false is-letter-like: false operator-name: SameQ - precedence: 290 Sampi: esc-alias: sa @@ -7964,7 +7929,6 @@ Set: has-unicode-inverse: true is-letter-like: false operator-name: Set - precedence: 40 unicode-equivalent-name: EQUALS SIGN wl-unicode: "=" wl-unicode-name: EQUALS SIGN @@ -8076,7 +8040,6 @@ Span: has-unicode-inverse: false is-letter-like: false operator-name: Span - precedence: 305 SpanFromAbove: esc-alias: sfa @@ -8220,14 +8183,12 @@ StringExpression: has-unicode-inverse: false is-letter-like: false operator-name: StringExpression - precedence: 135 StringJoin: ascii: "<>" has-unicode-inverse: false is-letter-like: false operator-name: StringJoin - precedence: 600 Subset: amslatex: "\\subset" @@ -8448,7 +8409,6 @@ Tilde: has-unicode-inverse: false is-letter-like: false operator-name: Tilde - precedence: 290 # Since we have an esc-alias, we add wl-unicode for the checker to work. unicode-equivalent: "\u223c" wl-unicode: "\u223c" @@ -8492,7 +8452,6 @@ Times: has-unicode-inverse: false is-letter-like: false operator-name: Times - precedence: 400 unicode-equivalent: "\xD7" unicode-equivalent-name: MULTIPLICATION SIGN wl-unicode: "\xD7" @@ -8652,7 +8611,6 @@ Unset: has-unicode-inverse: false is-letter-like: false operator-name: Unset - precedence: 670 UpArrow: amslatex: "\\uparrow" @@ -8767,7 +8725,6 @@ UpSet: has-unicode-inverse: false is-letter-like: false operator-name: UpSet - precedence: 40 UpSetDelayed: ascii: "^:=" @@ -8986,7 +8943,6 @@ Xor: has-unicode-inverse: false is-letter-like: false operator-name: Xor - precedence: 215 unicode-equivalent: "\u22BB" unicode-equivalent-name: XOR wl-unicode: "\u22BB" From e3463091e2fcd60478d95fb7b674f9a3fd6240d4 Mon Sep 17 00:00:00 2001 From: rocky Date: Thu, 29 Aug 2024 14:55:56 -0400 Subject: [PATCH 4/4] Convert "None" and "Non" to null --- mathics_scanner/data/operators.yml | 804 +++++++++--------- .../generate/operator_csv_to_yml.py | 5 + 2 files changed, 407 insertions(+), 402 deletions(-) diff --git a/mathics_scanner/data/operators.yml b/mathics_scanner/data/operators.yml index 5ae920b..04d04d9 100644 --- a/mathics_scanner/data/operators.yml +++ b/mathics_scanner/data/operators.yml @@ -71,7 +71,7 @@ AddTo: FullForm: AddTo[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -91,7 +91,7 @@ Alternatives: FullForm: Alternatives[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -112,7 +112,7 @@ And: FullForm: And[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -133,7 +133,7 @@ AngleBracket: FullForm: AngleBracket[expr, \[Ellipsis]] arity: n-ary affix: Matchfix - associativity: Non + associativity: null meaningful: false # comments: @@ -154,7 +154,7 @@ Apply: FullForm: Apply[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -175,7 +175,7 @@ Association: FullForm: Association[expr, \[Ellipsis]] arity: n-ary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -196,7 +196,7 @@ AutoMatch: FullForm: AutoMatch[expr] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -216,7 +216,7 @@ Backslash: FullForm: Backslash[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -236,7 +236,7 @@ Because: FullForm: Because[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: Precedence of Therefore and Because are swapped in notebook versus ToExpression. @@ -257,7 +257,7 @@ BlackLenticularBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -277,7 +277,7 @@ Blank: FullForm: Blank[] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: A Blank (_) with no accompanying decoration. @@ -297,7 +297,7 @@ BlankHead: FullForm: Blank[expr] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -317,7 +317,7 @@ BlankNullSequence: FullForm: BlankNullSequence[] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: A BlankNullSequence (___) with no accompanying decoration. @@ -337,7 +337,7 @@ BlankNullSequenceHead: FullForm: BlankNullSequence[expr] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -357,7 +357,7 @@ BlankOptional: FullForm: Optional[Blank[]] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: No name or head. @@ -377,7 +377,7 @@ BlankSequence: FullForm: BlankSequence[] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: A BlankNullSequence (__) with no accompanying decoration. @@ -397,7 +397,7 @@ BlankSequenceHead: FullForm: BlankSequence[expr] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -418,7 +418,7 @@ BoxGroup: FullForm: \(expr\) arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: The interpretation of this operator depends on context. It must contain box sublanguage. @@ -439,7 +439,7 @@ BracketingBar: FullForm: BracketingBar[expr, \[Ellipsis]] arity: n-ary affix: Matchfix - associativity: Non + associativity: null meaningful: false # comments: @@ -459,7 +459,7 @@ Cap: FullForm: Cap[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -480,7 +480,7 @@ CapitalDifferentialD: FullForm: CapitalDifferentialD[x] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -501,7 +501,7 @@ Ceiling: FullForm: Ceiling[expr] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -521,7 +521,7 @@ CenterDot: FullForm: CenterDot[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -541,7 +541,7 @@ CircleDot: FullForm: CircleDot[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -561,7 +561,7 @@ CircleMinus: FullForm: CircleMinus[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -581,7 +581,7 @@ CirclePlus: FullForm: CirclePlus[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -601,7 +601,7 @@ CircleTimes: FullForm: CircleTimes[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -622,7 +622,7 @@ ClockwiseContourIntegral: FullForm: Integrate[expr1, expr2] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -642,7 +642,7 @@ Colon: FullForm: Colon[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -663,7 +663,7 @@ Composition: FullForm: Composition[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -683,7 +683,7 @@ CompoundExpression: FullForm: CompoundExpression[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -703,7 +703,7 @@ CompoundExpressionNull: FullForm: CompoundExpression[expr1, expr2, Null] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -723,7 +723,7 @@ Condition: FullForm: Condition[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -743,7 +743,7 @@ Conditioned: FullForm: Conditioned[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -763,7 +763,7 @@ Congruent: FullForm: Congruent[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -784,7 +784,7 @@ Conjugate: FullForm: Conjugate[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -805,7 +805,7 @@ ConjugateTranspose: FullForm: ConjugateTranspose[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -826,7 +826,7 @@ ContextPathSeparator: FullForm: symb1`symb2 arity: affix: - associativity: Non + associativity: null meaningful: true # comments: Functions as a decimal point: either contextpath1 or contextpath2 may be empty, but not both at the same time. @@ -846,7 +846,7 @@ ContinuedFractionK: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -867,7 +867,7 @@ ContourIntegral: FullForm: Integrate[expr1, expr2] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -887,7 +887,7 @@ Coproduct: FullForm: Coproduct[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -908,7 +908,7 @@ CornerBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -929,7 +929,7 @@ CounterClockwiseContourIntegral: FullForm: Integrate[expr1, expr2] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -949,7 +949,7 @@ Cross: FullForm: Cross[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -969,7 +969,7 @@ Cup: FullForm: Cup[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -989,7 +989,7 @@ CupCap: FullForm: CupCap[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1010,7 +1010,7 @@ Curl: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1031,7 +1031,7 @@ CurlyDoubleQuote: FullForm: CurlyDoubleQuote[expr] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: false # comments: @@ -1052,7 +1052,7 @@ CurlyQuote: FullForm: CurlyQuote[expr] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: false # comments: @@ -1073,7 +1073,7 @@ Decrement: FullForm: Decrement[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -1093,7 +1093,7 @@ Del: FullForm: Del[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -1114,7 +1114,7 @@ Derivative: FullForm: Derivative[n][expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -1134,7 +1134,7 @@ Diamond: FullForm: Diamond[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1154,7 +1154,7 @@ DifferenceDelta: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1175,7 +1175,7 @@ DifferentialD: FullForm: DifferentialD[x] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -1195,7 +1195,7 @@ DirectedEdge: FullForm: DirectedEdge[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1215,7 +1215,7 @@ DiscreteRatio: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1235,7 +1235,7 @@ DiscreteShift: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1255,7 +1255,7 @@ Distributed: FullForm: Distributed[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1276,7 +1276,7 @@ Divergence: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1296,7 +1296,7 @@ Divide: FullForm: Times[expr1, Power[expr2, -1]] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -1316,7 +1316,7 @@ DivideBy: FullForm: DivideBy[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -1337,7 +1337,7 @@ Divides: FullForm: Divisible[expr2, expr1] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1357,7 +1357,7 @@ Dot: FullForm: Dot[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1377,7 +1377,7 @@ DotEqual: FullForm: DotEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1398,7 +1398,7 @@ DoubleAngleBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -1419,7 +1419,7 @@ DoubleBracketingBar: FullForm: DoubleBracketingBar[expr, \[Ellipsis]] arity: n-ary affix: Matchfix - associativity: Non + associativity: null meaningful: false # comments: @@ -1440,7 +1440,7 @@ DoubleContourIntegral: FullForm: Integrate[expr1, expr2] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -1460,7 +1460,7 @@ DoubleDownArrow: FullForm: DoubleDownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1480,7 +1480,7 @@ DoubleLeftArrow: FullForm: DoubleLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1500,7 +1500,7 @@ DoubleLeftRightArrow: FullForm: DoubleLeftRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1520,7 +1520,7 @@ DoubleLeftTee: FullForm: DoubleLeftTee[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -1540,7 +1540,7 @@ DoubleLongLeftArrow: FullForm: DoubleLongLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1560,7 +1560,7 @@ DoubleLongLeftRightArrow: FullForm: DoubleLongLeftRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1580,7 +1580,7 @@ DoubleLongRightArrow: FullForm: DoubleLongRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1600,7 +1600,7 @@ DoubleRightArrow: FullForm: DoubleRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1620,7 +1620,7 @@ DoubleRightTee: FullForm: DoubleRightTee[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: @@ -1640,7 +1640,7 @@ DoubleUpArrow: FullForm: DoubleUpArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1660,7 +1660,7 @@ DoubleUpDownArrow: FullForm: DoubleUpDownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1680,7 +1680,7 @@ DoubleVerticalBar: FullForm: DoubleVerticalBar[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1700,7 +1700,7 @@ DownArrow: FullForm: DownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1720,7 +1720,7 @@ DownArrowBar: FullForm: DownArrowBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1740,7 +1740,7 @@ DownArrowUpArrow: FullForm: DownArrowUpArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1760,7 +1760,7 @@ DownLeftRightVector: FullForm: DownLeftRightVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1780,7 +1780,7 @@ DownLeftTeeVector: FullForm: DownLeftTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1800,7 +1800,7 @@ DownLeftVector: FullForm: DownLeftVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1820,7 +1820,7 @@ DownLeftVectorBar: FullForm: DownLeftVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1840,7 +1840,7 @@ DownRightTeeVector: FullForm: DownRightTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1860,7 +1860,7 @@ DownRightVector: FullForm: DownRightVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1880,7 +1880,7 @@ DownRightVectorBar: FullForm: DownRightVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1900,7 +1900,7 @@ DownTee: FullForm: DownTee[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -1920,7 +1920,7 @@ DownTeeArrow: FullForm: DownTeeArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -1940,7 +1940,7 @@ Element: FullForm: Element[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1960,7 +1960,7 @@ Equal: FullForm: Equal[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -1980,7 +1980,7 @@ EqualTilde: FullForm: EqualTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2000,7 +2000,7 @@ Equilibrium: FullForm: Equilibrium[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2020,7 +2020,7 @@ Equivalent: FullForm: Equivalent[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -2040,7 +2040,7 @@ Exists: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -2060,7 +2060,7 @@ ExpectationE: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -2080,7 +2080,7 @@ Factorial: FullForm: Factorial[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -2100,7 +2100,7 @@ Factorial2: FullForm: Factorial2[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -2121,7 +2121,7 @@ Floor: FullForm: Floor[expr] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -2141,7 +2141,7 @@ ForAll: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -2162,7 +2162,7 @@ FormBox: FullForm: arity: Binary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -2183,7 +2183,7 @@ FractionBox: FullForm: arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -2204,7 +2204,7 @@ FullwidthAngleBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -2225,7 +2225,7 @@ FullwidthCurlyBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -2246,7 +2246,7 @@ FullwidthParenthesis: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -2267,7 +2267,7 @@ FullwidthSquareBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -2287,7 +2287,7 @@ Function: FullForm: Function[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -2307,7 +2307,7 @@ FunctionApply: FullForm: expr1[expr2, \[Ellipsis]] arity: n-ary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -2327,7 +2327,7 @@ FunctionApplyInfix: FullForm: expr2[expr1, expr3] arity: Ternary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: Infix[f[x,y]] will display as x~f~y. Precedence identifies Infix with this operator, and Precedence[Infix]==30 which is almost correct. @@ -2347,7 +2347,7 @@ FunctionApplyPostfix: FullForm: expr2[expr1] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: Postfix[f[x]] will display as x//f. Precedence identifies Postfix with this operator. @@ -2367,7 +2367,7 @@ FunctionApplyPrefix: FullForm: expr1[expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -2387,7 +2387,7 @@ Get: FullForm: Get["filename"] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -2408,7 +2408,7 @@ Gradient: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -2428,7 +2428,7 @@ Greater: FullForm: Greater[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -2448,7 +2448,7 @@ GreaterEqual: FullForm: GreaterEqual[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -2468,7 +2468,7 @@ GreaterEqualLess: FullForm: GreaterEqualLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2488,7 +2488,7 @@ GreaterFullEqual: FullForm: GreaterFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2508,7 +2508,7 @@ GreaterGreater: FullForm: GreaterGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2528,7 +2528,7 @@ GreaterLess: FullForm: GreaterLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2549,7 +2549,7 @@ GreaterSlantEqual: FullForm: GreaterEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2569,7 +2569,7 @@ GreaterTilde: FullForm: GreaterTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2589,7 +2589,7 @@ HumpDownHump: FullForm: HumpDownHump[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2609,7 +2609,7 @@ HumpEqual: FullForm: HumpEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2630,7 +2630,7 @@ ImplicitSequence: FullForm: expr1, expr2 arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -2650,7 +2650,7 @@ Implies: FullForm: Implies[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -2671,7 +2671,7 @@ Increment: FullForm: Increment[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -2692,7 +2692,7 @@ InlinePart: FullForm: RowBox[List[expr1, InlinePart, expr2]] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: "InlinePart or @> was an operator that was introduced in one of the pre-release/betas for version 10 and subsequently removed before public release. It was briefly available publicly in the Raspberry Pi version of Wolfram Language that co-existed with the pre-releases at the time. The operator allowed you to access elements of a list with an infix operator." https://mathematica.stackexchange.com/questions/134506/inlinepart-what-is-it-and-what-happened-to-it @@ -2712,7 +2712,7 @@ Integrate: FullForm: Integrate[expr1, expr2] arity: Binary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -2733,7 +2733,7 @@ InterpretBoxes: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -2753,7 +2753,7 @@ Intersection: FullForm: Intersection[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -2774,7 +2774,7 @@ InvisiblePostfixScriptBase: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -2795,7 +2795,7 @@ InvisiblePrefixScriptBase: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: Usage and Parse may not be correct. @@ -2816,7 +2816,7 @@ Laplacian: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -2836,7 +2836,7 @@ LeftArrow: FullForm: LeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2856,7 +2856,7 @@ LeftArrowBar: FullForm: LeftArrowBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2876,7 +2876,7 @@ LeftArrowRightArrow: FullForm: LeftArrowRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2896,7 +2896,7 @@ LeftDownTeeVector: FullForm: LeftDownTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2916,7 +2916,7 @@ LeftDownVector: FullForm: LeftDownVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2936,7 +2936,7 @@ LeftDownVectorBar: FullForm: LeftDownVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2956,7 +2956,7 @@ LeftRightArrow: FullForm: LeftRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2976,7 +2976,7 @@ LeftRightVector: FullForm: LeftRightVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -2996,7 +2996,7 @@ LeftTee: FullForm: LeftTee[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -3016,7 +3016,7 @@ LeftTeeArrow: FullForm: LeftTeeArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3036,7 +3036,7 @@ LeftTeeVector: FullForm: LeftTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3056,7 +3056,7 @@ LeftTriangle: FullForm: LeftTriangle[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3076,7 +3076,7 @@ LeftTriangleBar: FullForm: LeftTriangleBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3096,7 +3096,7 @@ LeftTriangleEqual: FullForm: LeftTriangleEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3116,7 +3116,7 @@ LeftUpDownVector: FullForm: LeftUpDownVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3136,7 +3136,7 @@ LeftUpTeeVector: FullForm: LeftUpTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3156,7 +3156,7 @@ LeftUpVector: FullForm: LeftUpVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3176,7 +3176,7 @@ LeftUpVectorBar: FullForm: LeftUpVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3196,7 +3196,7 @@ LeftVector: FullForm: LeftVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3216,7 +3216,7 @@ LeftVectorBar: FullForm: LeftVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3236,7 +3236,7 @@ Less: FullForm: Less[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -3256,7 +3256,7 @@ LessEqual: FullForm: LessEqual[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -3276,7 +3276,7 @@ LessEqualGreater: FullForm: LessEqualGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3296,7 +3296,7 @@ LessFullEqual: FullForm: LessFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3316,7 +3316,7 @@ LessGreater: FullForm: LessGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3336,7 +3336,7 @@ LessLess: FullForm: LessLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3357,7 +3357,7 @@ LessSlantEqual: FullForm: LessEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3377,7 +3377,7 @@ LessTilde: FullForm: LessTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3397,7 +3397,7 @@ Limit: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -3418,7 +3418,7 @@ List: FullForm: List[expr, \[Ellipsis]] arity: n-ary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -3438,7 +3438,7 @@ LongLeftArrow: FullForm: LongLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3458,7 +3458,7 @@ LongLeftRightArrow: FullForm: LongLeftRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3478,7 +3478,7 @@ LongRightArrow: FullForm: LongRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3498,7 +3498,7 @@ LowerLeftArrow: FullForm: LowerLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3518,7 +3518,7 @@ LowerRightArrow: FullForm: LowerRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3538,7 +3538,7 @@ Map: FullForm: Map[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -3558,7 +3558,7 @@ MapAll: FullForm: MapAll[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -3579,7 +3579,7 @@ MapApply: FullForm: MapApply[expr1, expr2, List[1]] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -3599,7 +3599,7 @@ MaxLimit: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -3619,7 +3619,7 @@ MessageName: FullForm: MessageName[expr, "string"] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -3639,7 +3639,7 @@ MinLimit: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -3659,7 +3659,7 @@ Minus: FullForm: Times[-1, expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -3679,7 +3679,7 @@ MinusPlus: FullForm: MinusPlus[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -3699,7 +3699,7 @@ NamedBlank: FullForm: Pattern[symb, Blank[]] arity: Unary affix: Postfix - associativity: Non + associativity: null meaningful: true # comments: @@ -3719,7 +3719,7 @@ NamedBlankHead: FullForm: Pattern[symb, Blank[expr]] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -3739,7 +3739,7 @@ NamedBlankNullSequence: FullForm: Pattern[symb, BlankNullSequence[]] arity: Unary affix: Postfix - associativity: Non + associativity: null meaningful: true # comments: @@ -3759,7 +3759,7 @@ NamedBlankNullSequenceHead: FullForm: Pattern[symb, BlankNullSequence[expr]] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -3779,7 +3779,7 @@ NamedBlankOptional: FullForm: Optional[Pattern[symb, Blank[]]] arity: Unary affix: Postfix - associativity: Non + associativity: null meaningful: true # comments: @@ -3799,7 +3799,7 @@ NamedBlankSequence: FullForm: Pattern[symb, BlankSequence[]] arity: Unary affix: Postfix - associativity: Non + associativity: null meaningful: true # comments: @@ -3819,7 +3819,7 @@ NamedBlankSequenceHead: FullForm: Pattern[symb, BlankSequence[expr]] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -3840,7 +3840,7 @@ Nand: FullForm: Nand[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -3860,7 +3860,7 @@ NestedGreaterGreater: FullForm: NestedGreaterGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3880,7 +3880,7 @@ NestedLessLess: FullForm: NestedLessLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3900,7 +3900,7 @@ NonCommutativeMultiply: FullForm: NonCommutativeMultiply[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -3921,7 +3921,7 @@ Nor: FullForm: Nor[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -3941,7 +3941,7 @@ Not: FullForm: Not[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -3961,7 +3961,7 @@ NotCongruent: FullForm: NotCongruent[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -3981,7 +3981,7 @@ NotCupCap: FullForm: NotCupCap[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4001,7 +4001,7 @@ NotDoubleVerticalBar: FullForm: NotDoubleVerticalBar[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4021,7 +4021,7 @@ NotElement: FullForm: NotElement[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -4041,7 +4041,7 @@ NotEqualTilde: FullForm: NotEqualTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4061,7 +4061,7 @@ NotExists: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -4081,7 +4081,7 @@ NotGreater: FullForm: NotGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4101,7 +4101,7 @@ NotGreaterEqual: FullForm: NotGreaterEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4121,7 +4121,7 @@ NotGreaterFullEqual: FullForm: NotGreaterFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4141,7 +4141,7 @@ NotGreaterGreater: FullForm: NotGreaterGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4161,7 +4161,7 @@ NotGreaterLess: FullForm: NotGreaterLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4181,7 +4181,7 @@ NotGreaterSlantEqual: FullForm: NotGreaterSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4201,7 +4201,7 @@ NotGreaterTilde: FullForm: NotGreaterTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4221,7 +4221,7 @@ NotHumpDownHump: FullForm: NotHumpDownHump[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4241,7 +4241,7 @@ NotHumpEqual: FullForm: NotHumpEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4261,7 +4261,7 @@ NotLeftTriangle: FullForm: NotLeftTriangle[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4281,7 +4281,7 @@ NotLeftTriangleBar: FullForm: NotLeftTriangleBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4301,7 +4301,7 @@ NotLeftTriangleEqual: FullForm: NotLeftTriangleEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4321,7 +4321,7 @@ NotLess: FullForm: NotLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4341,7 +4341,7 @@ NotLessEqual: FullForm: NotLessEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4361,7 +4361,7 @@ NotLessFullEqual: FullForm: NotLessFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4381,7 +4381,7 @@ NotLessGreater: FullForm: NotLessGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4401,7 +4401,7 @@ NotLessLess: FullForm: NotLessLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4421,7 +4421,7 @@ NotLessSlantEqual: FullForm: NotLessSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4441,7 +4441,7 @@ NotLessTilde: FullForm: NotLessTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4461,7 +4461,7 @@ NotNestedGreaterGreater: FullForm: NotNestedGreaterGreater[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4481,7 +4481,7 @@ NotNestedLessLess: FullForm: NotNestedLessLess[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4501,7 +4501,7 @@ NotPrecedes: FullForm: NotPrecedes[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4521,7 +4521,7 @@ NotPrecedesEqual: FullForm: NotPrecedesEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4541,7 +4541,7 @@ NotPrecedesSlantEqual: FullForm: NotPrecedesSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4561,7 +4561,7 @@ NotPrecedesTilde: FullForm: NotPrecedesTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4581,7 +4581,7 @@ NotReverseElement: FullForm: NotReverseElement[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4601,7 +4601,7 @@ NotRightTriangle: FullForm: NotRightTriangle[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4621,7 +4621,7 @@ NotRightTriangleBar: FullForm: NotRightTriangleBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4641,7 +4641,7 @@ NotRightTriangleEqual: FullForm: NotRightTriangleEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4661,7 +4661,7 @@ NotSquareSubset: FullForm: NotSquareSubset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4681,7 +4681,7 @@ NotSquareSubsetEqual: FullForm: NotSquareSubsetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4701,7 +4701,7 @@ NotSquareSuperset: FullForm: NotSquareSuperset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4721,7 +4721,7 @@ NotSquareSupersetEqual: FullForm: NotSquareSupersetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4741,7 +4741,7 @@ NotSubset: FullForm: NotSubset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4761,7 +4761,7 @@ NotSubsetEqual: FullForm: NotSubsetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4781,7 +4781,7 @@ NotSucceeds: FullForm: NotSucceeds[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4801,7 +4801,7 @@ NotSucceedsEqual: FullForm: NotSucceedsEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4821,7 +4821,7 @@ NotSucceedsSlantEqual: FullForm: NotSucceedsSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4841,7 +4841,7 @@ NotSucceedsTilde: FullForm: NotSucceedsTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4861,7 +4861,7 @@ NotSuperset: FullForm: NotSuperset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4881,7 +4881,7 @@ NotSupersetEqual: FullForm: NotSupersetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4901,7 +4901,7 @@ NotTilde: FullForm: NotTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4921,7 +4921,7 @@ NotTildeEqual: FullForm: NotTildeEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4941,7 +4941,7 @@ NotTildeFullEqual: FullForm: NotTildeFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4961,7 +4961,7 @@ NotTildeTilde: FullForm: NotTildeTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -4981,7 +4981,7 @@ NotVerticalBar: FullForm: NotVerticalBar[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5002,7 +5002,7 @@ NumberBase: FullForm: n^^digits arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: Interprets digits as a number literal in base n. The base n must be a positive integer no greater than 36. @@ -5023,7 +5023,7 @@ NumberMagnitude: FullForm: number*^magnitude arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: Gives mantissa*base^magnitude, where base^^mantissa=number and magnitude is a decimal number expressed without ^^, `, or ``. Only allowed in a number literal, and only after any ` or ``. @@ -5044,7 +5044,7 @@ NumberPrecision: FullForm: number`s arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: Specifies the precision of number, where s is a positive decimal expressed without using ^^ or `. Any magnitude must come after `." @@ -5065,7 +5065,7 @@ NumberPrecisionPostfix: FullForm: number` arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: Specifies the precision of number to be $MachinePrecision. Any magnitude must come after `." @@ -5085,7 +5085,7 @@ Optional: FullForm: Optional[patt, expr] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -5106,7 +5106,7 @@ Or: FullForm: Or[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -5127,7 +5127,7 @@ Out: FullForm: Out[-n] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: @@ -5148,7 +5148,7 @@ OutNumber: FullForm: Out[n] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -5169,7 +5169,7 @@ OverscriptBox: FullForm: arity: Binary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -5190,7 +5190,7 @@ OverunderscriptBox: FullForm: arity: Ternary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -5211,7 +5211,7 @@ ParameterizedFunction: FullForm: Function[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: The arrow form of Function. @@ -5232,7 +5232,7 @@ Parentheses: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -5252,7 +5252,7 @@ Part: FullForm: Part[expr1, expr2, \[Ellipsis]] arity: n-ary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -5273,7 +5273,7 @@ PartialD: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -5294,7 +5294,7 @@ PartialFractionBox: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -5315,7 +5315,7 @@ PartialOverscriptBox: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -5336,7 +5336,7 @@ PartialSubscriptBox: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -5357,7 +5357,7 @@ PartialSuperscriptBox: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -5378,7 +5378,7 @@ PartialUnderscriptBox: FullForm: arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: false # comments: This operator is an invisible Unicode character and is used in the layout of displayed expressions. @@ -5398,7 +5398,7 @@ Pattern: FullForm: Pattern[symb, expr] arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -5418,7 +5418,7 @@ PatternTest: FullForm: PatternTest[expr1, expr2] arity: Binary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -5439,7 +5439,7 @@ PermutationProduct: FullForm: PermutationProduct[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -5459,7 +5459,7 @@ Perpendicular: FullForm: Perpendicular[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5480,7 +5480,7 @@ Piecewise: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -5500,7 +5500,7 @@ Plus: FullForm: Plus[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -5520,7 +5520,7 @@ PlusMinus: FullForm: PlusMinus[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -5540,7 +5540,7 @@ Power: FullForm: Power[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -5560,7 +5560,7 @@ PreDecrement: FullForm: PreDecrement[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -5580,7 +5580,7 @@ PreIncrement: FullForm: PreIncrement[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -5600,7 +5600,7 @@ Precedes: FullForm: Precedes[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5620,7 +5620,7 @@ PrecedesEqual: FullForm: PrecedesEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5640,7 +5640,7 @@ PrecedesSlantEqual: FullForm: PrecedesSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5660,7 +5660,7 @@ PrecedesTilde: FullForm: PrecedesTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5680,7 +5680,7 @@ ProbabilityPr: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -5700,7 +5700,7 @@ Product: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -5720,7 +5720,7 @@ Proportion: FullForm: Proportion[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5740,7 +5740,7 @@ Proportional: FullForm: Proportional[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5760,7 +5760,7 @@ Put: FullForm: Put[expr, "filename"] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -5780,7 +5780,7 @@ PutAppend: FullForm: PutAppend[expr, "filename"] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -5801,7 +5801,7 @@ RadicalBox: FullForm: arity: Binary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -5822,7 +5822,7 @@ RawBackquote: FullForm: number``s arity: Binary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``. @@ -5842,7 +5842,7 @@ Repeated: FullForm: Repeated[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -5862,7 +5862,7 @@ RepeatedNull: FullForm: RepeatedNull[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -5882,7 +5882,7 @@ ReplaceAll: FullForm: ReplaceAll[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -5902,7 +5902,7 @@ ReplaceRepeated: FullForm: ReplaceRepeated[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: @@ -5922,7 +5922,7 @@ ReverseElement: FullForm: ReverseElement[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5942,7 +5942,7 @@ ReverseEquilibrium: FullForm: ReverseEquilibrium[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5962,7 +5962,7 @@ ReverseUpEquilibrium: FullForm: ReverseUpEquilibrium[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -5982,7 +5982,7 @@ RightArrow: FullForm: RightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6002,7 +6002,7 @@ RightArrowBar: FullForm: RightArrowBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6022,7 +6022,7 @@ RightArrowLeftArrow: FullForm: RightArrowLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6043,7 +6043,7 @@ RightComposition: FullForm: RightComposition[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -6063,7 +6063,7 @@ RightDownTeeVector: FullForm: RightDownTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6083,7 +6083,7 @@ RightDownVector: FullForm: RightDownVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6103,7 +6103,7 @@ RightDownVectorBar: FullForm: RightDownVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6123,7 +6123,7 @@ RightTee: FullForm: RightTee[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: @@ -6143,7 +6143,7 @@ RightTeeArrow: FullForm: RightTeeArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6163,7 +6163,7 @@ RightTeeVector: FullForm: RightTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6183,7 +6183,7 @@ RightTriangle: FullForm: RightTriangle[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6203,7 +6203,7 @@ RightTriangleBar: FullForm: RightTriangleBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6223,7 +6223,7 @@ RightTriangleEqual: FullForm: RightTriangleEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6243,7 +6243,7 @@ RightUpDownVector: FullForm: RightUpDownVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6263,7 +6263,7 @@ RightUpTeeVector: FullForm: RightUpTeeVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6283,7 +6283,7 @@ RightUpVector: FullForm: RightUpVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6303,7 +6303,7 @@ RightUpVectorBar: FullForm: RightUpVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6323,7 +6323,7 @@ RightVector: FullForm: RightVector[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6343,7 +6343,7 @@ RightVectorBar: FullForm: RightVectorBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6364,7 +6364,7 @@ RoundImplies: FullForm: RoundImplies[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: @@ -6384,7 +6384,7 @@ Rule: FullForm: Rule[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -6404,7 +6404,7 @@ RuleDelayed: FullForm: RuleDelayed[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -6425,7 +6425,7 @@ SameQ: FullForm: SameQ[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -6445,7 +6445,7 @@ Set: FullForm: Set[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -6465,7 +6465,7 @@ SetDelayed: FullForm: SetDelayed[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -6485,7 +6485,7 @@ ShortDownArrow: FullForm: ShortDownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6505,7 +6505,7 @@ ShortLeftArrow: FullForm: ShortLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6525,7 +6525,7 @@ ShortRightArrow: FullForm: ShortRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6545,7 +6545,7 @@ ShortUpArrow: FullForm: ShortUpArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6566,7 +6566,7 @@ Skeleton: FullForm: Skeleton[n] arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -6586,7 +6586,7 @@ Slot: FullForm: Slot[1] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: @@ -6606,7 +6606,7 @@ SlotNumber: FullForm: Slot[n] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -6626,7 +6626,7 @@ SlotSequence: FullForm: SlotSequence[1] arity: Nullary affix: None - associativity: Non + associativity: null meaningful: true # comments: @@ -6646,7 +6646,7 @@ SlotSequenceNumber: FullForm: SlotSequence[n] arity: Unary affix: Prefix - associativity: Non + associativity: null meaningful: true # comments: @@ -6666,7 +6666,7 @@ SmallCircle: FullForm: SmallCircle[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6686,7 +6686,7 @@ Span: FullForm: Span[i, j, k] arity: Ternary affix: Infix - associativity: Non + associativity: null meaningful: true # comments: @@ -6707,7 +6707,7 @@ Sqrt: FullForm: Sqrt[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -6728,7 +6728,7 @@ SqrtBox: FullForm: arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: @@ -6748,7 +6748,7 @@ Square: FullForm: Square[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -6768,7 +6768,7 @@ SquareIntersection: FullForm: SquareIntersection[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6788,7 +6788,7 @@ SquareSubset: FullForm: SquareSubset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6808,7 +6808,7 @@ SquareSubsetEqual: FullForm: SquareSubsetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6828,7 +6828,7 @@ SquareSuperset: FullForm: SquareSuperset[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6848,7 +6848,7 @@ SquareSupersetEqual: FullForm: SquareSupersetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6868,7 +6868,7 @@ SquareUnion: FullForm: SquareUnion[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6888,7 +6888,7 @@ Star: FullForm: Star[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6908,7 +6908,7 @@ StringExpression: FullForm: StringExpression[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -6928,7 +6928,7 @@ StringJoin: FullForm: StringJoin[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -6949,7 +6949,7 @@ SubscriptBox: FullForm: arity: Binary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -6969,7 +6969,7 @@ Subset: FullForm: Subset[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -6989,7 +6989,7 @@ SubsetEqual: FullForm: SubsetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7010,7 +7010,7 @@ SubsuperscriptBox: FullForm: arity: Ternary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -7030,7 +7030,7 @@ Subtract: FullForm: Plus[expr1, Times[-1, expr2]] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -7050,7 +7050,7 @@ SubtractFrom: FullForm: SubtractFrom[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7070,7 +7070,7 @@ Succeeds: FullForm: Succeeds[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7090,7 +7090,7 @@ SucceedsEqual: FullForm: SucceedsEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7110,7 +7110,7 @@ SucceedsSlantEqual: FullForm: SucceedsSlantEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7130,7 +7130,7 @@ SucceedsTilde: FullForm: SucceedsTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7150,7 +7150,7 @@ SuchThat: FullForm: SuchThat[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: @@ -7171,7 +7171,7 @@ Sum: FullForm: Sum[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Usage and Parse may not be correct. @@ -7192,7 +7192,7 @@ SuperDagger: FullForm: Power[expr, \[Dagger]] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -7212,7 +7212,7 @@ SuperscriptBox: FullForm: arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7232,7 +7232,7 @@ Superset: FullForm: Superset[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7252,7 +7252,7 @@ SupersetEqual: FullForm: SupersetEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7273,7 +7273,7 @@ SupersubscriptBox: FullForm: arity: Ternary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7294,7 +7294,7 @@ TagSet: FullForm: TagSet[symb, expr1, expr2] arity: Ternary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7315,7 +7315,7 @@ TagSetDelayed: FullForm: TagSetDelayed[symb, expr1, expr2] arity: Ternary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7336,7 +7336,7 @@ TagUnset: FullForm: Unset[Condition[symb, expr]] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7357,7 +7357,7 @@ TensorProduct: FullForm: TensorProduct[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7378,7 +7378,7 @@ TensorWedge: FullForm: TensorWedge[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7398,7 +7398,7 @@ Therefore: FullForm: Therefore[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: false # comments: Precedence of Therefore and Because are swapped in notebook versus ToExpression. @@ -7418,7 +7418,7 @@ Tilde: FullForm: Tilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7438,7 +7438,7 @@ TildeEqual: FullForm: TildeEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7458,7 +7458,7 @@ TildeFullEqual: FullForm: TildeFullEqual[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7478,7 +7478,7 @@ TildeTilde: FullForm: TildeTilde[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7498,7 +7498,7 @@ Times: FullForm: Times[expr1, expr2] arity: Nullary affix: None - associativity: None + associativity: null meaningful: true # comments: Operator Notations includes usages with invisible unicode characters. @@ -7518,7 +7518,7 @@ TimesBy: FullForm: TimesBy[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7539,7 +7539,7 @@ TortoiseShellBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -7560,7 +7560,7 @@ Transpose: FullForm: Transpose[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -7580,7 +7580,7 @@ TwoWayRule: FullForm: TwoWayRule[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7601,7 +7601,7 @@ UnaryMinusPlus: FullForm: MinusPlus[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -7622,7 +7622,7 @@ UnaryPlus: FullForm: Plus[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: true # comments: Converts to expr on input. @@ -7643,7 +7643,7 @@ UnaryPlusMinus: FullForm: PlusMinus[expr] arity: Unary affix: Prefix - associativity: Right + associativity: right meaningful: false # comments: @@ -7664,7 +7664,7 @@ UnderoverscriptBox: FullForm: arity: Ternary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -7685,7 +7685,7 @@ UnderscriptBox: FullForm: arity: Binary affix: Infix - associativity: Missing["Unknown"] + associativity: missing["unknown"] meaningful: true # comments: @@ -7705,7 +7705,7 @@ UndirectedEdge: FullForm: UndirectedEdge[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7725,7 +7725,7 @@ Unequal: FullForm: Unequal[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7745,7 +7745,7 @@ Union: FullForm: Union[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7765,7 +7765,7 @@ UnionPlus: FullForm: UnionPlus[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7786,7 +7786,7 @@ UnsameQ: FullForm: UnsameQ[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -7807,7 +7807,7 @@ Unset: FullForm: Unset[expr] arity: Unary affix: Postfix - associativity: Left + associativity: left meaningful: true # comments: @@ -7827,7 +7827,7 @@ UpArrow: FullForm: UpArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7847,7 +7847,7 @@ UpArrowBar: FullForm: UpArrowBar[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7867,7 +7867,7 @@ UpArrowDownArrow: FullForm: UpArrowDownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7887,7 +7887,7 @@ UpDownArrow: FullForm: UpDownArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7907,7 +7907,7 @@ UpEquilibrium: FullForm: UpEquilibrium[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -7927,7 +7927,7 @@ UpSet: FullForm: UpSet[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7947,7 +7947,7 @@ UpSetDelayed: FullForm: UpSetDelayed[expr1, expr2] arity: Binary affix: Infix - associativity: Right + associativity: right meaningful: true # comments: @@ -7967,7 +7967,7 @@ UpTee: FullForm: UpTee[expr1, expr2] arity: Binary affix: Infix - associativity: Left + associativity: left meaningful: false # comments: @@ -7987,7 +7987,7 @@ UpTeeArrow: FullForm: UpTeeArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8007,7 +8007,7 @@ UpperLeftArrow: FullForm: UpperLeftArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8027,7 +8027,7 @@ UpperRightArrow: FullForm: UpperRightArrow[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8047,7 +8047,7 @@ Vee: FullForm: Vee[x, y] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8067,7 +8067,7 @@ VerticalBar: FullForm: VerticalBar[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8087,7 +8087,7 @@ VerticalSeparator: FullForm: VerticalSeparator[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8107,7 +8107,7 @@ VerticalTilde: FullForm: VerticalTilde[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8127,7 +8127,7 @@ Wedge: FullForm: Wedge[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: false # comments: @@ -8148,7 +8148,7 @@ WhiteCornerBracket: FullForm: arity: Unary affix: Matchfix - associativity: Non + associativity: null meaningful: true # comments: @@ -8168,7 +8168,7 @@ Xnor: FullForm: Xnor[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: @@ -8188,6 +8188,6 @@ Xor: FullForm: Xor[expr1, expr2] arity: Binary affix: Infix - associativity: None + associativity: null meaningful: true # comments: diff --git a/mathics_scanner/generate/operator_csv_to_yml.py b/mathics_scanner/generate/operator_csv_to_yml.py index 1c69938..0d7e8da 100755 --- a/mathics_scanner/generate/operator_csv_to_yml.py +++ b/mathics_scanner/generate/operator_csv_to_yml.py @@ -94,6 +94,11 @@ info = operators[name] for i, field in enumerate(yaml_fields): value = info[i] + if field == "associativity": + if value in ("None", "Non"): + value = "null" + else: + value = value.lower() if field == "meaningfull": value = value.lower() field = "meaningful" # spelling correction