\v=15
\v~=And Ezekias prayed to the Lord, saying, 
\¬v
\¬p