x¬^