\v=22
\v~=You saw three heads resting. This is the interpretation: 
\¬v