\v=5
\v~=Judas was encamped at Elasa with three thousand chosen men. 
\¬v