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