\v=15
\v~=Und wenn wir wissen, dass er uns hört, um was irgend wir bitten, so wissen wir, dass wir die Bitten haben, die wir von ihm erbeten haben.
\¬v
\¬p