\v=7
\¬v