\v=23
\v~=Judas poursuivit plus vigoureusement la poursuite, passant les méchants au fil de l'épée, et il fit périr jusqu'à trente mille hommes. 
\¬v
\¬p