\p
\v=15
\v~=Du sollst nicht stehlen.
\¬v
\¬p