\v=34
\v~=Bacchides found this out on the Sabbath day, and came—he and all his army—over the Jordan. 
\¬v
\¬p