\v=20
\v~=Thus having prayed, he hurled himself into the pans; and so expired. 
\¬v
\¬p
\¬c