\v=11
\v~=Sihon, the king of the Amorites, And Og, the king of Bashan, And all the kings of Canaan; 
\¬v