\v=18
\v~=Lange Zeit führte Josua Krieg mit allen diesen Königen.
\¬v