\v=21
\¬v