\v=18
\v~=And the disciples of John told him all these things. 
\¬v