\v=12 \v~=\w disant|strong="G3004"\w*, \¬p \q1 \p~<