\v=25
\v~=Israël eut une grande délivrance ce jour-là. 
\¬v
\¬p