0\¬\