\v=16
\v~=Elishama, Eliada na Elifeleti. 
\¬v
\¬p