\v=13
\v~=The king of the north will return, and will send out a multitude greater than the former. He will come on at the end of the times, even of years, with a great army and with abundant supplies. 
\¬v
\¬p