use regex for lexing symbols