\p
\v=20
\v~=Tu Zion Gutes in deiner Gunst, baue die Mauern Jerusalems!
\¬v
\¬p