\v=11
\v~=David ruled them for seven and a half years while he was living in Hebron.
\¬v
\¬p