\v=5
\v~=And the servants of King Hezekiah came to Isaiah. 
\¬v