\v=20
\v~=... 
\¬v