\v=46
\v~=[] 
\¬v