remove redundant symbol