logically equivalent symbol latex - Search