\v=16 \v~=Und Simson sprach: \¬p \p \p~<