\v=13
\v~=der König von Debir, einer; der König von Geder, einer;
\¬v