\v=53
\v~=[Und jeder ging nach seinem Haus.
\¬v
\¬p
\¬c