\v=12
\v~=Iohanan the eight, Elzabad the ninth, 
\¬v