\p
\v=9
\v~=Such were the events of the end of Antiochus, who was called Epiphanes. 
\¬v
\¬p