\v=13
\v~=Und es wurde Abend und es wurde Morgen: dritter Tag.
\¬v
\¬p