not logically equivalent symbol - Search