\p \v=8 \v~=\w and|strong="G2532"\w*, \¬p \q1 \p~<