\v=25
\v~=What will he then do for his name whereby we are called? Of these things have I asked. 
\¬v
\¬p