\v=3
\v~=He was very grieved. 
\¬v
\¬p