\v=13
\v~=... 
\¬v