\v=25 \v~=So he sent to them this message: \¬p \p \p~<