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