\v=4
\v~=[] 
\¬v