\v=11
\v~=The LORD of hosts is with us; The God of Jacob is our refuge. 
\¬v
\¬p
\¬c