\v=42
\v~=And they all ate, and were filled. 
\¬v