\v=17
\v~=Béni soit notre Dieu en toutes choses, qui a livré ceux qui avaient commis l'impiété. 
\¬v
\¬p