\q1 \v=23 \v~=Réveillez-vous  ! \¬q1 \q2 \p~<