\v=17
\v~=Und alle Tage Mahalalels waren 895 Jahre, und er starb.
\¬v
\¬p