let raw s = 
  let lexbuf = Lexing.from_string s in
  Global.set Mathcommon.lexbuf lexbuf;
  Mathparser.evalf Mathlexer.token lexbuf