\v=25
\v~=Israel had a great deliverance that day. 
\¬v
\¬p