\v=45
\v~=Ceux qui resteront serviront ceux qui l'auront détruite. 
\¬v
\¬p