symbols for logic statements - Search