\v=3
\v~=Four great animals came up from the sea, different from one another. 
\¬v
\¬p