\v=9
\v~=\add It is\add* better to hope in the Lord, than to hope in princes. 
\¬v
\¬p