\v=17
\v~=அபிகாயில் அமாசாவைப் பெற்றாள்; அமாசாவின் தகப்பன் இஸ்மவேலனாகிய ஏத்தேர் என்பவன்.
\¬v
\¬p