\v=18
\v~=Alle Könige der Nationen insgesamt liegen mit Ehren, jeder in seinem Haus;
\¬v