\v=12
\v~=Lakini aliwaonya wasimseme yeye ni nani.
\¬v
\¬p