\v=17
\v~=But Simon, the brother of Judas, had encountered Nicanor, yet not till late, having been delayed by reason of the sudden consternation caused by his adversaries. 
\¬v
\¬p