\v=28
\v~=[] 
\¬v