\v=24
\v~=[] 
\¬v