\v=9
\v~=But thou, O Lord, art most high for ever. 
\¬v
\¬p