\v=4
\v~=And when they looked, they saw that the stone was rolled away (for it was a very great one) 
\¬v