\v=30
\v~=But many that are first, shalbe last, and the last shalbe first. 
\¬v
\¬p
\¬c