\v=6
\v~=\wj und glückselig ist, wer sich nicht an mir ärgern wird!\wj*
\¬v
\¬p