\v=42
\v~=die Söhne Harims: 1.017.
\¬v
\¬p