\v=6
\v~=mais tous les hommes ont une seule entrée dans la vie, et une sortie commune. 
\¬v
\¬q2
\p
\¬p