\v=5
\v~=denn jeder wird seine eigene Last tragen.
\¬v
\¬p