\v=9
\v~=Judas heard how the Greeks planned to come and destroy them, 
\¬v