\v=5
\v~=Eleazar, who was called Avaran; and Jonathan, who was called Apphus. 
\¬v
\¬p