accept digits in symbols