\v=12
\v~=When his eyes began to hurt, he rubbed them. 
\¬v