\v=16
\v~=அவன் தேவனுக்காகவும் அவருடைய ஆலயத்திற்காகவும் இஸ்ரவேலுக்கு நன்மை செய்ததால், அவனை தாவீதின் நகரத்தில் ராஜாக்களுக்கு அருகில் அடக்கம்செய்தார்கள்.
\¬v
\¬p