\v=37
\¬v