Print tidy rules in user style, to avoid gratuitous uniques