\v=33
\v~=... 
\¬v