\v=15
\v~=Puis ils se mirent à manger. 
\¬v
\¬p