\v=17
\v~=Mais, voyant l'armée venir à leur rencontre, ils dirent à Judas : « Quoi ? Serons-nous capables, étant une petite troupe, de combattre une multitude si grande et si forte ? Quant à nous, nous sommes épuisés, car nous n'avons rien mangé aujourd'hui. » 
\¬v
\¬p