\v=9
\v~=mais la compréhension c'est les cheveux gris pour les hommes, 
\¬q2
\q2
\p~<<q2=2 et une vie sans tache est une vieillesse mûre. 
\¬q2
\¬v
\p
\¬p