\v=27
\v~=Abram, das ist Abraham.
\¬v
\¬p