\v=25
\v~=L'un d'eux courut ouvrir les portes du jardin. 
\¬v
\¬p