\v=7
\v~=und Elischama und Beeljada und Eliphelet.
\¬v
\¬p