\p \v=10 \v~=\w And|strong="G2532"\w*, \¬p \q1 \p~<