Update rules.jsp (digits -> symbols)