\p
\v=2
\v~=Israel freue sich seines Schöpfers; die Kinder Zions sollen frohlocken über ihren König!
\¬v
\¬p