\v=32
\v~=... 
\¬v