\v=16
\¬v