\v=23
\v~=Und es wurde Abend und es wurde Morgen: fünfter Tag.
\¬v
\¬p