propositional sign Synonyms