a specification about cool lexical syntax in regular expression