\v=42
\v~=So they did all eate, and were satisfied. 
\¬v