logical notation Synonyms