\v=6
\v~=... 
\¬v