\v=25
\v~=All these things came upon king Nabuchodonosor. 
\¬v