\v=18
\v~=... 
\¬v