\v=11
\¬v