\v=12
\v~=And when his eyes began to hurt, he rubbed them; 
\¬v