made numeric characters valid within symbols