\v=13
\v~=ஆமாத்தின் ராஜாவும், அர்பாத்தின் ராஜாவும், செப்பர்வாயிம், ஏனா, ஈவா பட்டணங்களின் ராஜாக்களும் எங்கே என்று சொல்லுங்கள் என்றான்.
\¬v
\¬p