\v=21
\v~=Wie lange soll ich das Panier sehen, den Schall der Posaune hören?
\¬v
\¬p