\v=15
\v~=-16 \f + \fr 16.15  \ft  \f* 
\¬v
\¬q2
\p
\¬p