\v=16
\v~=[] 
\¬v