\v=15
\v~=The King of Libnah, one: the King of Adullam, one: 
\¬v