\v=11
\v~=... 
\¬v