\q1
\v=25
\v~=Une chose établit le bien d'une autre. 
\¬q1
\q2
\p~<<q2=2 Qui pourrait jamais voir assez de sa gloire ? 
\¬q2
\¬v
\p
\¬p
\¬c