\v=11
\v~=Hii ndio orodha ya mashujaa wa Daudi: 
\¬p
\p
\p~<<p=Yashobeamu, Mhakmoni, alikuwa mkuu wa maafisa; yeye aliinua mkuki wake dhidi ya watu 300, ambao aliwaua katika pambano moja. 
\¬p
\¬v