\v=30
\v~=... 
\¬v