public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), "⧴"); }
static public InfixOperator createInfixOperator(final String operatorStr, final String headStr, final int precedence, final int grouping) { InfixOperator oper; if (headStr.equals("Divide")) { oper = new DivideOperator(operatorStr, headStr, precedence, grouping); } else if (headStr.equals("Subtract")) { oper = new SubtractOperator(operatorStr, headStr, precedence, grouping); } else { oper = new InfixOperator(operatorStr, headStr, precedence, grouping); } return oper; }
static public PrefixOperator createPrefixOperator(final String operatorStr, final String headStr, final int precedence) { PrefixOperator oper; if (headStr.equals("PreMinus")) { oper = new PreMinusOperator(operatorStr, headStr, precedence); } else if (headStr.equals("PrePlus")) { oper = new PrePlusOperator(operatorStr, headStr, precedence); } else { oper = new PrefixOperator(operatorStr, headStr, precedence); } return oper; }
static public PrefixOperator createPrefixOperator(final String operatorStr, final String headStr, final int precedence) { PrefixOperator oper; if (headStr.equals("PreMinus")) { oper = new PreMinusOperator(operatorStr, headStr, precedence); } else if (headStr.equals("PrePlus")) { oper = new PrePlusOperator(operatorStr, headStr, precedence); } else { oper = new PrefixOperator(operatorStr, headStr, precedence); } return oper; }
public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "≤"); }
public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), " := "); }
public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "\\leq "); }
public Times() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Times").getPrecedence(), "mrow", "·");// centerdot instead // of // invisibletimes: // "⁢"); }
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 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 GreaterEqual() { // ≥ ࣙ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("GreaterEqual").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 Equal() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Equal").getPrecedence(), "="); }