\v=31
\v~=Und alle Tage Lamechs waren 777 Jahre, und er starb.
\¬v
\¬p