\p
\v=2
\v~=Jubelt Gott, unserer Stärke! Jauchzt dem Gott Jakobs!
\¬v
\¬p