\" { string.setLength(0); yybegin(STRING); }
";" { return symbol("semicolon",SEMICOLON); }
"," { return symbol("comma",COMMA); }
-"." { return symbol("dot",DOT); }
"(" { return symbol("(",LPAR); }
")" { return symbol(")",RPAR); }
+"<" { return symbol("<",LANG); }
+">" { return symbol(">",RANG); }
"{" { return symbol("{",BEGIN); }
"}" { return symbol("}",END); }
"=" { return symbol("=",ASSIGN); }