\v=13
\v~=Der Herr lacht seiner, denn er sieht, dass sein Tag kommt.
\¬v
\¬p