\v=34
\¬v