\v=15
\v~=And they began to eat. 
\¬v
\¬p