\v=23
\v~=et les fils de Sanaas, trois mille trois cent trente. 
\¬v
\¬p