\v=44
\v~=Idadi ya wanaume waliokula walikuwa 5,000.
\¬v
\¬p