\v=3
\v~=Henoch, Methushelah, Lamech, 
\¬v