\c=1 
\p
\c#=1
\v=1
\v~=Neno alilopokea nabii Habakuki. 
\¬v
\¬p