\v=7
\v~=Walikuwa kama wanaume kumi na wawili.
\¬v
\¬p