color TV tube Synonyms