logically equivalent latex - Search