\v=9
\v~=Maasja, Bilgai, Schemaja; das waren die Priester.
\¬v
\¬p