\v=13
\v~=The King of Debir, one: the King of Geder, one: 
\¬v