\v=22
\v~=Le reste des actes de Judas, ses guerres, les actes de bravoure qu'il a accomplis, et sa grandeur, ne sont pas écrits, car ils étaient très nombreux. 
\¬v
\¬p