public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "\\leq "); }
public LessEqual() { // ≤ ࣘ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("LessEqual").getPrecedence(), "≤"); }
public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), " := "); }
public RuleDelayed() { // ⧴ ⧴ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("RuleDelayed").getPrecedence(), "⧴"); }
public Plus() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Plus").getPrecedence(), "mrow", "+"); }
public GreaterEqual() { // ≥ ࣙ super(ASTNodeFactory.MMA_STYLE_FACTORY.get("GreaterEqual").getPrecedence(), "≥"); }
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 SetDelayed() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("SetDelayed").getPrecedence(), ":="); }
public And() { // and 2227 super(ASTNodeFactory.MMA_STYLE_FACTORY.get("And").getPrecedence(), " \\land "); }
public Plus() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Plus").getPrecedence(), "mrow", "+"); }
public Greater() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Greater").getPrecedence(), ">"); }
public Power() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Power").getPrecedence(), "^"); }
public Equal() { super(ASTNodeFactory.MMA_STYLE_FACTORY.get("Equal").getPrecedence(), "="); }