\v=12
\v~=Heureux celui qui attend et qui arrive aux mille trois cent trente-cinq jours ! 
\¬v
\¬p