\v=28
\¬v