propositional symbol Synonyms