One of these lines should suffice, since it is basically the same rule twice. I would remove the bottom one, because the top one is written in the same style as the others above.