\v=4
\¬v