\v=37
\v~=[] 
\¬v