\v=9
\v~=Alle Gemusterten vom Lager Judas: 186.400, nach ihren Heeren; sie sollen zuerst aufbrechen.
\¬v
\¬p