\v=25
\v~=Then one of them ran and opened the garden doors. 
\¬v
\¬p