modify symbol constructor to copy terminal display name which have been ignored