node = ASTNode.parseFormula("divide(2, 4)", parser);
System.out.println(node.toFormula());
node = ASTNode.parseFormula("modulo(13, 5)", parser);
System.out.println(node.toFormula());
System.out.println(node.toMathML());
node = ASTNode.parseFormula("18 % 5", parser);
System.out.println(node.toFormula());
}
}