\v=18
\v~=\f + \fr 24.18  \ft  \f* 
\¬v
\¬q2
\p
\¬p