\v=3
\v~=Что пользы человеку от всех трудов его, которыми трудится он под солнцем? 
\¬v