\v=4
\v~=\x + \xo 52:4  \xt Rom. 3. 10-12.\x* They have all gone out of the way, they are together become unprofitable; there is none that does good, there is not even one. 
\¬v
\¬p