\v=7
\v~=Then all those virgins arose, and trimmed their lamps. 
\¬v