\v=18
\v~=-19 \f + \fr 19.18  \ft  \f* 
\¬v
\¬q2
\p
\¬p