\v=2 \v~=Und er sprach: \¬p \p \p~<