public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "\\leq "); }
public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), "⧴"); }
public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "≤"); }
public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), " := "); }
public Times() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Times").getPrecedence(), "mrow", "·");// centerdot instead // of // invisibletimes: // "⁢"); }
public Plus() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Plus").getPrecedence(), "mrow", "+"); }
public GreaterEqual() { // ≥ ࣙ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("GreaterEqual").getPrecedence(), "≥"); }
public static Operator getOperator(ISymbol head) { String headerStr = head.getSymbolName(); if (Config.PARSER_USE_LOWERCASE_SYMBOLS) { String str = AST2Expr.PREDEFINED_SYMBOLS_MAP.get(headerStr); if (str != null) { headerStr = str; } } final Operator operator = ASTNodeFactory.MMA_STYLE_FACTORY.get(headerStr); return operator; }
public Power() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Power").getPrecedence(), "msup", ""); }
public And() { // and 2227 super(ASTNodeFactory.MMA_STYLE_FACTORY.get("And").getPrecedence(), "∧"); }
public Times() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Times").getPrecedence(), "\\,"); }
public SetDelayed() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("SetDelayed").getPrecedence(), ":="); }
public And() { // and 2227 super(ASTNodeFactory.MMA_STYLE_FACTORY.get("And").getPrecedence(), " \\land "); }
public GreaterEqual() { // ≥ ࣙ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("GreaterEqual").getPrecedence(), "\\geq "); }
public SetDelayed() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("SetDelayed").getPrecedence(), ":="); }
public Or() { // ∨ ∨ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Or").getPrecedence(), "∨"); }
public Or() { // ∨ ∨ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Or").getPrecedence(), " \\lor ;"); }
public Plus() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Plus").getPrecedence(), "mrow", "+"); }
public Equal() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Equal").getPrecedence(), "="); }
public Less() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Less").getPrecedence(), "<"); }