\v=2 \v~=Its contents follow: \¬p \p \p~<