\v=36
\¬v