\v=16
\v~=Then Judas and his army returned from pursuing them; 
\¬v