\v=3
\v~=Simon, who was called Thassi; 
\¬v