\v=12
\¬v