\v=7
\v~=[] 
\¬v