\v=17
\v~=The King of Tappuah, one: the King of Hepher, one: 
\¬v