\v=2 \v~=na useme: \¬p \q1 \p~<