\q1
\c#=37
\v=1
\v~=Tout ami dira : « Moi aussi, je suis son ami » ; 
\¬q1
\q2
\p~<<q2=2 mais il y a un ami qui n'a d'ami que le nom. 
\¬q2
\¬v