\v=9
\v~=Then King Belshazzar was greatly troubled. His face was changed in him, and his lords were perplexed. 
\¬v
\¬p