symbols used in logic - Search