\v=4
\v~=And looking up they see that the stone had been rolled back; for it was very large. 
\¬v