\q1
\v=13
\v~=Leur progéniture restera à jamais. 
\¬q1
\q2
\p~<<q2=2 Leur gloire ne sera pas effacée. 
\¬q2
\¬v