\v=30
\v~=And the second 
\¬v