\v=9
\v~=mais que les têtes soient préservées pour les derniers. » 
\¬v
\¬p