\v=15
\v~=Asam the sixth, David the seventh. 
\¬v