Table name change: mathics -> mathics3

admin-tools/make-tables.sh

@@ -4,7 +4,7 @@ mydir=$(dirname $bs)
 PYTHON=${PYTHON:-python}
 
 cd $mydir/../mathicsscript/data
-mathics-generate-json-table --field=ascii-operators -o mma-tables.json
+mathics3-generate-json-table --field=ascii-operators -o mma-tables.json
 
 for file in inputrc-unicode inputrc-no-unicode; do
     echo "# GNU Readline input unicode translations" > $file

mathicsscript/data/inputrc-no-unicode

@@ -1,13 +1,16 @@
+# GNU Readline input unicode translations
+# Autogenerated from mathics_scanner.generate.rl_inputrc on Wed Feb 12 11:52:14 AM EST 2025
+
 "\ea'\e": "á"
 "\ea-\e": "ā"
 "\eau\e": "ă"
 "\ea\"\e": "ä"
 "\eae\e": "æ"
 "\ea`\e": "à"
 "\ea^\e": "â"
+"\eal\e": "ℵ"
 "\eao\e": "å"
 "\ea~\e": "ã"
-"\eal\e": "ℵ"
 "\eesc\e": "\\[AliasIndicator]"
 "\eam\e": "\\[AlignmentMarker]"
 "\ea\e": "α"

mathicsscript/data/inputrc-unicode

@@ -1,5 +1,5 @@
 # GNU Readline input unicode translations
-# Autogenerated from mathics_scanner.generate.rl_inputrc on Wed Oct 26 04:49:35 PM EDT 2022
+# Autogenerated from mathics_scanner.generate.rl_inputrc on Wed Feb 12 11:52:14 AM EST 2025
 
 "\ea'\e": "á"
 "\ea-\e": "ā"
@@ -8,9 +8,9 @@
 "\eae\e": "æ"
 "\ea`\e": "à"
 "\ea^\e": "â"
+"\eal\e": "ℵ"
 "\eao\e": "å"
 "\ea~\e": "ã"
-"\eal\e": "ℵ"
 "\eesc\e": "\\[AliasIndicator]"
 "\eam\e": "\\[AlignmentMarker]"
 "\ea\e": "α"
@@ -504,9 +504,11 @@
 "\e<--\e": "⟵"
 "\e<-->\e": "⟷"
 "\e-->\e": "⟶"
+"\eMlim\e": "\\[MaxLimit]"
 "\emath\e": "\\[MathematicaIcon]"
 "\emho\e": "℧"
 "\emi\e": "µ"
+"\emlim\e": "lim"
 "\e-+\e": "∓"
 "\em\e": "μ"
 "\env\e": "ň"

mathicsscript/data/mma-tables.json

@@ -1 +1 @@
-{"ascii-operators": ["+=", "|", "&&", "@@", "@@@", "//=", "_", "___", "__", "@*", ";", "/;", "--", "?", "'", "/", "/=", ".", "==", "!", "!!", "|->", "&", "<<", ">=", "++", "??", "\\!", "<", "<=", "/@", "//@", "::", "-", "**", "!", "!=", ":", "?", "+", "//", "^", ">>", ">>>", ">", "..", "...", "/.", "//.", "/*", "||", "->", ":>", "===", "=", ":=", ";;", "~~", "<>", "-=", "/:", "*", "*=", "=!=", "<->", "=.", "^=", "^:="], "unicode-operators": {"+=": "AddTo", "|": "Alternative", "@@": "Apply", "@@@": "Apply", "//=": "ApplyTo", "\u2227": "And", "\u2235": "Because", "_": "Blank", "___": "BlankNullSequence", "__": "BlankSequence", "\u00b7": "CenterDot", "\u2299": "CircleDot", "\u2296": "CircleMinus", "\u2295": "CirclePlus", "\u2297": "CircleTimes", "\u2232": "ClockwiseContourIntegral", "\u2236": "Colon", "@*": "Composition", ";": "CompoundExpression", "/;": "Condition", "\u2261": "Congruent", "null": "NotGreaterGreater", "\u222e": "ContourIntegral", "\u2210": "Coproduct", "\u2233": "CounterClockwiseContourIntegral", "\u2323": "Cup", "\u224d": "CupCap", "--": "Decrement", "?": "PatternTest", "\u2207": "Del", "'": "Derivative", "\ud835\udc51": "DifferentialD", "\u00f7": "Divide", "/=": "DivideBy", ".": "Dot", "\u2250": "DotEqual", "\u222f": "DoubleContourIntegral", "\u21d3": "DoubleDownArrow", "\u21d0": "DoubleLeftArrow", "\u21d4": "DoubleLeftRightArrow", "\u2ae4": "DoubleLeftTee", "\u27f8": "DoubleLongLeftArrow", "\u27fa": "DoubleLongLeftRightArrow", "\u27f9": "DoubleLongRightArrow", "\u21d2": "DoubleRightArrow", "\u22a8": "DoubleRightTee", "\u21d1": "DoubleUpArrow", "\u21d5": "DoubleUpDownArrow", "\u2225": "DoubleVerticalBar", "\u2193": "DownArrow", "\u2913": "DownArrowBar", "\u21f5": "DownArrowUpArrow", "\u2950": "DownLeftRightVector", "\u295e": "DownLeftTeeVector", "\u21bd": "DownLeftVector", "\u2956": "DownLeftVectorBar", "\u25be": "DownPointer", "\u295f": "DownRightTeeVector", "\u21c1": "DownRightVector", "\u2957": "DownRightVectorBar", "\u22a4": "DownTee", "\u21a7": "DownTeeArrow", "\u2208": "Element", "\u2a75": "Equal", "\u2242": "EqualTilde", "\u21cc": "Equilibrium", "\u29e6": "Equivalent", "\u2203": "Exists", "!": "Factorial", "!!": "Factorial2", "\u2200": "ForAll", "\u21a6": "Function", "&": "Function", "<<": "Get", "\u2265": "GreaterEqual", "\u22db": "GreaterEqualLess", "\u2267": "GreaterFullEqual", "\u226b": "GreaterGreater", "\u2277": "GreaterLess", "\u2a7e": "GreaterSlantEqual", "\u2273": "GreaterTilde", "\u224e": "HumpDownHump", "\u224f": "HumpEqual", "++": "Increment", "??": "Information", "\u222b": "Integral", "\\!": "InterpretedBox", "\u22c2": "Intersection", "\u2190": "LeftArrow", "\u21e4": "LeftArrowBar", "\u21c6": "LeftArrowRightArrow", "\u2308": "LeftCeiling", "\u2961": "LeftDownTeeVector", "\u21c3": "LeftDownVector", "\u2959": "LeftDownVectorBar", "\u230a": "LeftFloor", "\u25c2": "LeftPointer", "\u2194": "UndirectedEdge", "\u294e": "LeftRightVector", "\u22a3": "LeftTee", "\u21a4": "LeftTeeArrow", "\u295a": "LeftTeeVector", "\u22b2": "LeftTriangle", "\u29cf": "LeftTriangleBar", "\u22b4": "LeftTriangleEqual", "\u2951": "LeftUpDownVector", "\u2960": "LeftUpTeeVector", "\u21bf": "LeftUpVector", "\u2958": "LeftUpVectorBar", "\u21bc": "LeftVector", "\u2952": "LeftVectorBar", "<": "Less", "\u2264": "LessEqual", "\u22da": "LessEqualGreater", "\u2266": "LessFullEqual", "\u2276": "LessGreater", "\u226a": "LessLess", "\u2a7d": "LessSlantEqual", "\u2272": "LessTilde", "\u2014": "LongDash", "\u27f5": "LongLeftArrow", "\u27f7": "LongLeftRightArrow", "\u27f6": "LongRightArrow", "\u2199": "LowerLeftArrow", "\u2198": "LowerRightArrow", "/@": "Map", "//@": "MapAll", "::": "Message", "-": "Minus", "\u2aa2": "NestedGreaterGreater", "\u2aa1": "NestedLessLess", "**": "NonCommutativeMultiply", "\u22bd": "Nor", "\u00ac": "Not", "\u2262": "NotCongruent", "\u226d": "NotCupCap", "\u2226": "NotDoubleVerticalBar", "\u2209": "NotElement", "\u2260": "NotEqual", "\u2204": "NotExists", "\u226f": "NotGreater", "\u2271": "NotGreaterEqual", "\u2269": "NotGreaterFullEqual", "\u2279": "NotGreaterLess", "\u2275": "NotGreaterTilde", "\u22ea": "NotLeftTriangle", "\u22ec": "NotLeftTriangleEqual", "\u226e": "NotLess", "\u2270": "NotLessEqual", "\u2268": "NotLessFullEqual", "\u2278": "NotLessGreater", "\u2274": "NotLessTilde", "\u2280": "NotPrecedes", "\u22e0": "NotPrecedesSlantEqual", "\u22e8": "NotPrecedesTilde", "\u220c": "NotReverseElement", "\u22eb": "NotRightTriangle", "\u22ed": "NotRightTriangleEqual", "\u22e2": "NotSquareSubsetEqual", "\u22e3": "NotSquareSupersetEqual", "\u2284": "NotSubset", "\u2288": "NotSubsetEqual", "\u2281": "NotSucceeds", "\u22e1": "NotSucceedsSlantEqual", "\u22e9": "NotSucceedsTilde", "\u2285": "NotSuperset", "\u2289": "NotSupersetEqual", "\u2241": "NotTilde", "\u2244": "NotTildeEqual", "\u2247": "NotTildeFullEqual", "\u2249": "NotTildeTilde", ":": "Option", "+": "Plus", "//": "Postfix", "^": "Power", "\u227a": "Precedes", "\u2aaf": "PrecedesEqual", "\u227c": "PrecedesSlantEqual", "\u227e": "PrecedesTilde", "\u220f": "Product", "\u2237": "Proportion", "\u221d": "Proportional", ">>": "Put", ">>>": "PutAppend", ">": "RawGreater", "..": "Repeated", "...": "RepeatedNull", "/.": "ReplaceAll", "//.": "ReplaceRepeated", "\u220b": "ReverseElement", "\u21cb": "ReverseEquilibrium", "\u296f": "ReverseUpEquilibrium", "\u2192": "Rule", "\u21e5": "RightArrowBar", "\u21c4": "RightArrowLeftArrow", "\u2309": "RightCeiling", "/*": "RightComposition", "\u2016": "RightDoubleBracketingBar", "\u295d": "RightDownTeeVector", "\u21c2": "RightDownVector", "\u2955": "RightDownVectorBar", "\u230b": "RightFloor", "\u25b8": "RightPointer", "\u22a2": "RightTee", "\u295b": "RightTeeVector", "\u22b3": "RightTriangle", "\u29d0": "RightTriangleBar", "\u22b5": "RightTriangleEqual", "\u294f": "RightUpDownVector", "\u295c": "RightUpTeeVector", "\u21be": "RightUpVector", "\u2954": "RightUpVectorBar", "\u21c0": "RightVector", "\u2953": "RightVectorBar", "\u2970": "RoundImplies", "\u29f4": "RuleDelayed", "===": "SameQ", "=": "Set", ":=": "SetDelayed", ";;": "Span", "\u221a": "Sqrt", "\u2293": "SquareIntersection", "\u228f": "SquareSubset", "\u2291": "SquareSubsetEqual", "\u2290": "SquareSuperset", "\u2292": "SquareSupersetEqual", "\u2294": "SquareUnion", "~~": "StringExpression", "<>": "StringJoin", "\u2282": "Subset", "\u2286": "SubsetEqual", "-=": "SubtractFrom", "\u227b": "Succeeds", "\u2ab0": "SucceedsEqual", "\u227d": "SucceedsSlantEqual", "\u227f": "SucceedsTilde", "\u220d": "SuchThat", "\u2211": "Sum", "\u2283": "Superset", "\u2287": "SupersetEqual", "/:": "TagSet", "\u2234": "Therefore", "\u223c": "Tilde", "\u2243": "TildeEqual", "\u2245": "TildeFullEqual", "\u2248": "TildeTilde", "\u00d7": "Times", "*=": "TimesBy", "\u1d40": "Transpose", "=!=": "UnSameQ", "\u22c3": "Union", "\u228e": "UnionPlus", "=.": "Unset", "\u2191": "UpArrow", "\u2912": "UpArrowBar", "\u21c5": "UpArrowDownArrow", "\u2195": "UpDownArrow", "\u296e": "UpEquilibrium", "\u22a5": "UpTee", "\u21a5": "UpTeeArrow", "\u2196": "UpperLeftArrow", "\u2197": "UpperRightArrow", "^=": "UpSet", "^:=": "UpSetDelayed", "\u22c1": "Vee", "\u2240": "VerticalTilde", "\u22c0": "Wedge", "\u22bb": "Xor"}}
+{"ascii-operators": ["+=", "&&", "_", "___", "__", ":", "@*", ";", "/;", "--", "'", "/", "/=", ".", "=|", "==", "!", "!!", "|->", "&", "<<", ">=", "??", "\\!", "{{", "<", "<=", "/@", "//@", "@@@", "::", "-", "**", "!", "!=", "||", "?", "+", "//", "^", "++", "::", ">>", ">>>", ">", "{", "..", "...", "/.", "//.", "/*", "||", "}}", "->", ":>", "===", "=", ":=", ";;", "~~", "<>", "-=", "/:", "*", "*=", "<->", "=!=", "=.", "^=", "^:=", "|"], "builtin-constants": {"\u00b0": "Degree", "\u2147": "ExponentialE", "\u2148": "ImaginaryI", "\u2149": "ImaginaryJ", "\u221e": "Infinity", "\u03c0": "Pi"}, "unicode-operators": {"+=": "AddTo", "\u2227": "And", "\u2235": "Because", "_": "Blank", "___": "BlankNullSequence", "__": "BlankSequence", "\u2322": "Cap", "\u00b7": "CenterDot", "\u2299": "CircleDot", "\u2296": "CircleMinus", "\u2295": "CirclePlus", "\u2297": "CircleTimes", "\u2232": "ClockwiseContourIntegral", "\u2236": "Colon", "@*": "Composition", ";": "CompoundExpression", "/;": "Condition", "\u2261": "Congruent", "null": "RightAssociation", "\u222e": "ContourIntegral", "\u2210": "Coproduct", "\u2233": "CounterClockwiseContourIntegral", "\u2323": "Cup", "\u224d": "CupCap", "--": "Decrement", "\u2207": "Del", "'": "Derivative", "\u22c4": "Diamond", "\ud835\udc51": "DifferentialD", "\u2192": "Rule", "\u00f7": "Divide", "/=": "DivideBy", ".": "Dot", "\u2250": "DotEqual", "\u222f": "DoubleContourIntegral", "\u21d3": "DoubleDownArrow", "\u21d0": "DoubleLeftArrow", "\u21d4": "DoubleLeftRightArrow", "\u2ae4": "DoubleLeftTee", "\u27f8": "DoubleLongLeftArrow", "\u27fa": "DoubleLongLeftRightArrow", "\u27f9": "DoubleLongRightArrow", "\u21d2": "DoubleRightArrow", "\u22a8": "DoubleRightTee", "\u21d1": "DoubleUpArrow", "\u21d5": "DoubleUpDownArrow", "\u2225": "DoubleVerticalBar", "\u2193": "DownArrow", "\u2913": "DownArrowBar", "\u21f5": "DownArrowUpArrow", "\u2950": "DownLeftRightVector", "\u295e": "DownLeftTeeVector", "\u21bd": "DownLeftVector", "\u2956": "DownLeftVectorBar", "\u295f": "DownRightTeeVector", "\u21c1": "DownRightVector", "\u2957": "DownRightVectorBar", "\u22a4": "DownTee", "\u21a7": "DownTeeArrow", "\u2208": "Element", "\u2a75": "Equal", "\u2242": "EqualTilde", "\u21cc": "Equilibrium", "\u29e6": "Equivalent", "\u2203": "Exists", "!": "Factorial", "!!": "Factorial2", "\u2200": "ForAll", "\u27fc": "Function", "&": "Function", "<<": "Get", "\u2265": "GreaterEqual", "\u22db": "GreaterEqualLess", "\u2267": "GreaterFullEqual", "\u226b": "GreaterGreater", "\u2277": "GreaterLess", "\u2a7e": "GreaterSlantEqual", "\u2273": "GreaterTilde", "\u224e": "HumpDownHump", "\u224f": "HumpEqual", "??": "Information", "\u222b": "Integral", "\\!": "InterpretedBox", "\u22c2": "Intersection", "\u2190": "LeftArrow", "\u21e4": "LeftArrowBar", "\u21c6": "LeftArrowRightArrow", "\u2308": "LeftCeiling", "\u301a": "LeftPart", "\u2016": "RightDoubleBracketingBar", "\u2961": "LeftDownTeeVector", "\u21c3": "LeftDownVector", "\u2959": "LeftDownVectorBar", "\u230a": "LeftFloor", "{{": "LeftList", "\u2194": "UndirectedEdge", "\u294e": "LeftRightVector", "\u22a3": "LeftTee", "\u21a4": "LeftTeeArrow", "\u295a": "LeftTeeVector", "\u22b2": "LeftTriangle", "\u29cf": "LeftTriangleBar", "\u22b4": "LeftTriangleEqual", "\u2951": "LeftUpDownVector", "\u2960": "LeftUpTeeVector", "\u21bf": "LeftUpVector", "\u2958": "LeftUpVectorBar", "\u21bc": "LeftVector", "\u2952": "LeftVectorBar", "<": "Less", "\u2264": "LessEqual", "\u22da": "LessEqualGreater", "\u2266": "LessFullEqual", "\u2276": "LessGreater", "\u226a": "LessLess", "\u2a7d": "LessSlantEqual", "\u2272": "LessTilde", "\u27f5": "LongLeftArrow", "\u27f7": "LongLeftRightArrow", "\u27f6": "LongRightArrow", "\u2199": "LowerLeftArrow", "\u2198": "LowerRightArrow", "/@": "Map", "//@": "MapAll", "@@@": "MapApply", "::": "MessageName", "\u2212": "Minus", "\u2213": "MinusPlus", "\u2aa2": "NestedGreaterGreater", "\u2aa1": "NestedLessLess", "**": "NonCommutativeMultiply", "\u22bd": "Nor", "\u00ac": "Not", "\u2262": "NotCongruent", "\u226d": "NotCupCap", "\u2226": "NotDoubleVerticalBar", "\u2209": "NotElement", "\u2260": "Unequal", "\u2204": "NotExists", "\u226f": "NotGreater", "\u2271": "NotGreaterEqual", "\u2269": "NotGreaterFullEqual", "\uf427": "NotGreaterGreater", "\u2279": "NotGreaterLess", "\u2275": "NotGreaterTilde", "\u22ea": "NotLeftTriangle", "\u22ec": "NotLeftTriangleEqual", "\u226e": "NotLess", "\u2270": "NotLessEqual", "\u2268": "NotLessFullEqual", "\u2278": "NotLessGreater", "\u2274": "NotLessTilde", "\u2280": "NotPrecedes", "\u22e0": "NotPrecedesSlantEqual", "\u22e8": "NotPrecedesTilde", "\u220c": "NotReverseElement", "\u22eb": "NotRightTriangle", "\u22ed": "NotRightTriangleEqual", "\u22e2": "NotSquareSubsetEqual", "\u22e3": "NotSquareSupersetEqual", "\u2284": "NotSubset", "\u2288": "NotSubsetEqual", "\u2281": "NotSucceeds", "\u22e1": "NotSucceedsSlantEqual", "\u22e9": "NotSucceedsTilde", "\u2285": "NotSuperset", "\u2289": "NotSupersetEqual", "\u2241": "NotTilde", "\u2244": "NotTildeEqual", "\u2247": "NotTildeFullEqual", "\u2249": "NotTildeTilde", "\u2228": "Or", "?": "PatternTest", "\u27c2": "Perpendicular", "+": "Plus", "//": "Postfix", "^": "Power", "++": "PreIncrement", "\u227a": "Precedes", "\u2aaf": "PrecedesEqual", "\u227c": "PrecedesSlantEqual", "\u227e": "PrecedesTilde", "\u220f": "Product", "\u2237": "Proportion", "\u221d": "Proportional", ">>": "Put", ">>>": "PutAppend", ">": "Greater", "{": "LeftList", "..": "Repeated", "...": "RepeatedNull", "/.": "ReplaceAll", "//.": "ReplaceRepeated", "\u220b": "ReverseElement", "\u21cb": "ReverseEquilibrium", "\u296f": "ReverseUpEquilibrium", "\u21e5": "RightArrowBar", "\u21c4": "RightArrowLeftArrow", "\u2309": "RightCeiling", "/*": "RightComposition", "\u301b": "RightPart", "\u295d": "RightDownTeeVector", "\u21c2": "RightDownVector", "\u2955": "RightDownVectorBar", "\u230b": "RightFloor", "}}": "RightList", "\u22a2": "RightTee", "\u21a6": "RightTeeArrow", "\u295b": "RightTeeVector", "\u22b3": "RightTriangle", "\u29d0": "RightTriangleBar", "\u22b5": "RightTriangleEqual", "\u294f": "RightUpDownVector", "\u295c": "RightUpTeeVector", "\u21be": "RightUpVector", "\u2954": "RightUpVectorBar", "\u21c0": "RightVector", "\u2953": "RightVectorBar", "\u2970": "RoundImplies", "\u29f4": "RuleDelayed", "===": "SameQ", "=": "Set", ":=": "SetDelayed", "\u2218": "SmallCircle", ";;": "Span", "\u221a": "Sqrt", "\u25ab": "Square", "\u2293": "SquareIntersection", "\u228f": "SquareSubset", "\u2291": "SquareSubsetEqual", "\u2290": "SquareSuperset", "\u2292": "SquareSupersetEqual", "\u2294": "SquareUnion", "\u22c6": "Star", "~~": "StringExpression", "<>": "StringJoin", "\u2282": "Subset", "\u2286": "SubsetEqual", "-=": "SubtractFrom", "\u227b": "Succeeds", "\u2ab0": "SucceedsEqual", "\u227d": "SucceedsSlantEqual", "\u227f": "SucceedsTilde", "\u220d": "SuchThat", "\u2211": "Sum", "\u2283": "Superset", "\u2287": "SupersetEqual", "/:": "TagSet", "\u2234": "Therefore", "\u223c": "Tilde", "\u2243": "TildeEqual", "\u2245": "TildeFullEqual", "\u2248": "TildeTilde", "\u00d7": "Times", "*=": "TimesBy", "\u1d40": "Transpose", "=!=": "UnsameQ", "\u22c3": "Union", "\u228e": "UnionPlus", "=.": "Unset", "\u2191": "UpArrow", "\u2912": "UpArrowBar", "\u21c5": "UpArrowDownArrow", "\u2195": "UpDownArrow", "\u296e": "UpEquilibrium", "\u22a5": "UpTee", "\u21a5": "UpTeeArrow", "\u2196": "UpperLeftArrow", "\u2197": "UpperRightArrow", "^=": "UpSet", "^:=": "UpSetDelayed", "\u22c1": "Vee", "\u2758": "VerticalBar", "\u2240": "VerticalTilde", "\u22c0": "Wedge", "\u22bb": "Xor"}}