\q2 \v=3 \v~=How great are his signs! \¬q2 \q3 \p~<