\v=5
\v~=And this is the copy of the letters which Jonathan wrote to the Spartans: 
\¬v
\¬p