How to use org.matheclipse.parser.client.operator

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(), "=");
}