\v=2 \v~=\w Il|strong="H3389"\w* \w dit|strong="H5414"\w* : \¬p \q1 \p~<