\v=31
\v~=Judas saw that the battle had begun, and that the cry of the city went up to heaven, with trumpets and a great sound, 
\¬v