\v=20
\v~=of whom is Hymenaeus and Alexander, whom I delivered to Satan, that they might be taught not to blaspheme. 
\¬v
\¬p
\¬c