Parser mathParser = new CharParser(mathGrammar);
System.out.println("about to parse: \""+s[1]+"\"");
Tree tree = mathParser.parse(new CharInput(new StringReader(s[1]))).expand1();
// below is ugly voodoo which will go away very soon. ignore it.
Parser mathParser = new CharParser(mathGrammar);
System.out.println("about to parse: \""+s[1]+"\"");
Tree tree = mathParser.parse(new CharInput(new StringReader(s[1]))).expand1();
// below is ugly voodoo which will go away very soon. ignore it.