\p
\v=9
\v~=er wird nicht immer rechten und nicht ewiglich nachtragen.
\¬v
\¬p