\v=31
\v~=... 
\¬v