\v=17
\v~=bundi, mnandi, bundi mkubwa, 
\¬v