\v=11
\v~=für Benjamin: Abidan, der Sohn Gideonis;
\¬v