| > ¬