\v=16
\v~=und Elischama und Eljada und Eliphelet.
\¬v
\¬p