\v=13
\v~=Wherefore should we live any longer? 
\¬v
\¬p