\v=35
\v~=die Söhne Senaas: 3.630.
\¬v
\¬p