\v=42
\v~=திஷானின் மகன்கள் பில்கான், சகவான், யாக்கான் என்பவர்கள்; ஏத்சேரின் மகன்கள் ஊத்ஸ், அரான் என்பவர்கள்.
\¬v
\¬p