\v=13
\v~=Joanan the eighth, Eleazer the ninth, 
\¬v