\v=40
\¬v