\v=17
\v~=... 
\¬v