\p
\v=17
\v~=den, der große Könige schlug, denn seine Güte \add währt\add* ewiglich,
\¬v
\¬p