\v=3
\v~=Quatre grands animaux sont sortis de la mer, différents les uns des autres. 
\¬v
\¬p