\v=7
\v~=(denn wir wandeln durch Glauben, nicht durch Schauen);
\¬v