\v=14
\¬v