¬$ ]