\¬a`