\v=9
\v~=He sent him and that ungodly Alcimus, whom he made the high priest; and he commanded him to take vengeance upon the children of Israel. 
\¬v
\¬p