logically equivalent symbol - Search