\v=16
\v~=... 
\¬v