\v=5
\v~=und Gera und Schephuphan und Huram.
\¬v
\¬p